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 }

.bordered { width:200px; border:300px red solid; padding:300px; }

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%; }

 
/* This is css for thumbnails */

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

.faketerminal u{
color:#0F0;
text-decoration:none}
 

/* This is the css for thumbnails*/

.shiftcontainer-tnail{
position: relative;
left: 7px; /*Number should match -left shadow depth below*/
top: 7px;} /*Number should match -top shadow depth below*/


.shadowcontainer-tnail{
width: 118px;
height: 93px; 
background: transparent url(../images/shadow.gif) no-repeat bottom right;}

.shadowcontainer-tnail .innerdiv-tnail{
background-color: white;
border: 1px solid gray;
padding: 6px;
position: relative;
left: -7px; /*shadow depth*/
top: -7px;} /*shadow depth*/