body{
color: #003060;
background-color: #ffff99;
margin-left: 5%; 
margin-right: 5%;
}

/*
a:link    {color: #007799} 
a:visited {color: #007799}
a:hover   {color: #ff88ff}
a:active  {color: #ffffff }  */
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,h2,h3,h4{color: #003060;}
h1{text-align: center;}
h2{margin-left: -4%;}
h3{}

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

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