body{ margin-left: 5%; margin-right: 5%; background: white; 
	font-family: "Times New Roman" "Garamond"; font-size: 100%;}
    
body{ text: black; link: blue; vlink: magenta }

A{ text-decoration:none }

A:hover{ color:gold }

pre{ font-size: 90%; background-color: #e0e0e0; }

h1{ font-family: "Times New Roman", "Garamond"; font-size: 125%; }
    
table{font-family: "Times New Roman", "Garamond"; font-size: 100%; }
    
em{ font-family: "Times New Roman", "Garamond" font-size: 100%; }

ul{ font-family: "Times New Roman", "Garamond" font-size: 100%; }

ol{ font-family: "Times New Roman", "Garamond" font-size: 100%; }

.faketerminal{background:#e0e0e0;;color:#000000;overflow:auto;padding:1em;text:black}

.faketerminal u{color:#0F0;text-decoration:none}
 
/* BGCOLOR="#e0e0e0" */