.bottom
{
   position: fixed;
   bottom: 10px;
   left: 25px;
}

.center 
{ 
   text-align: center;
}

.auto { width: auto; }

body 
{ 
   background-image: url(bgimage.gif);
   font-size: 17px;
   font-weight: bold;
}	

.cmd { color: #ff0000; }

.com { color: #00ff00; } 

.def { font-style: italic; color: #008b8b; }

.line { color: #4b0082; }

#main
{
   font-size: 100%;
   padding: 15px;
   top: 0px;
   left: 20%;
   position: absolute;
}

.noborder { border: 0px solid #000000; }

pre { border: 4px solid #000000; padding : 10px 10px 10px 10px; }

.res { color: #0000ff; }

#sidebar
{
   border: 0px;
   font-size: 100%;
   padding: 15px;
   top: 0px;
   left: 0px;
   right: 72%;
   height: 100%;
   position: fixed;
}

table { background-color: #f0e68c; }

td { width: 130px; }

th { background-color: #add8e6 } 

.str { color: #ff00ff; }

table { font-size: 17px; }

.vis { color: #ff0000; }