pre
{
 border-color:black;	
 background-color:rgb(200,200,200);	
 border-style:solid;
 border-width:2px;	
 width:70em;
 padding:1em;		
}
DIV.menu
{ 
 position:fixed;
 float:left;
 padding-top:2em;
 width:10em;	
}



div.content
{ 
 position:absolute;
 left:12em;
 width:70%;
}

DIV.menu a
{
 
 display:block; 	
 margin:0.2em;
 padding:0.2em;
 background-color:rgb(230,230,230);	
}

DIV.menu a:hover
{
 background-color:rgb(240,240,240);
}

A:link
{
color:rgb(70,0,0);
}


A:visited
{
color:rgb(70,0,0);
}

A:hover
{
color:rgb(200,100,0);
}