*{
    color: #300000;
    background-color: #aaaaaa;
}

body{
    margin-left: 5%; 
    margin-right: 5%;
}

a:link    {text-decoration:none;color:#007799;}
a:visited {text-decoration:none;color:#007799;}
a:active  {text-decoration:none;color:#ff88ff;}
a:hover   {text-decoration:underline;color:#ff00ff;}


h1{text-align: center;}
h2{margin-left: -4%;}
h3{}

div.box { border: solid; 
	  border-width: 
	  thin; width: 90% 
	}

div.ref{
    

}

div.alertbox { border: solid; 
	       border-width: thin; 
	       width: 90% 
	       color: #ff00ff;
	       text-align: center;
	       margin-left: 15%; 
	       margin-right: 15%;
	     }

pre{
    margin-left: 3%;
    color: #000080;
    background-color: #ffffff; 
}

pre.shell{ 
    color: #ffffff;
    background-color: #000000;
}



p.mono{
    font-family: monospace;
    font-weight: bold;
}

span.em{
    font-weight: bold;
    color: #ee55ff;
}

em{
    font-style: normal;
    font-weight: bold;
    color: #ee0055;
    background-color: white;
}