body{
  margin-left: 10%; 
  margin-right: 10%;
  color: #000055; 
  background: #eeffff;
}
h1,h2,h3,h4,h5,h6{
  color: #000088;
  margin-top: 1em; 
  margin-bottom: 1em
}
h1{
  text-align: center;
  font-size: 200%;
}

h2,h3{
  margin-left: -5%; 
}


div.alert{
color: #ffff66;
background-color: #000066;
}

div.obsolete{
background-color: #aaaaaa;
}
div.altered{
background-color: #ffaaff;
}

p.green{
color: #000000;
background-color: #99cc00;
}

p.green{
color: #000000;
background-color: #99cc00;
}

p.mono{
font-family: monospace;
}

em{
font-weight: bold; 
color: #110055;
}

h4.em{
font-weight: bold; 
color: #ff0055;
}

pre.shell{ 
    color: #ffffff;
    background-color: #000000;
    font-size: 100%;
    font-family: monospace;
 }


span.shell{ 
    padding-left: 7px;            
    padding-right: 7px;            
    padding-top: 2px;            
    padding-bottom: 2px;            
    font-family: monospace;
    color: #ffffff;
    background-color: #000000;
    font-size: 140%;
    font-family: monospace;
 }

div.box{ 
    color: #ff0000;
    padding-left: 7px;            
    padding-right: 7px;            
    padding-top: 7px;           
    padding-bottom: 7px;
    background-color: #ffffff;
    border: solid; 
    border-width: thin; 
    width: 100% 
}
div.box:first-letter{
   font-weight: bold;  
   font-size: 150%; 
   float: left;
 }



a:link    {text-decoration:none;color:#0000ff;}
a:visited {text-decoration:none;color:#0000ff;}
a:active  {text-decoration:none;color:#ff0055;}
a:hover   {text-decoration:underline;color:#ff5500;}