/* Mauro Marinilli 1998 - 2005 */

  li { margin-bottom: 0.4em;
    }

  body { 
    font-family: Verdana, Arial, sans-serif ;
    background: white;
    color: rgb(0, 0, 102);
    }

  a:link { color: rgb(0, 102, 255);
    }

  a:hover { background: rgb(250, 250, 250) none repeat scroll 0%;
    }

  a:visited { color: rgb(255, 130, 4);
    }

H1, H2, H3, H4, H5, H6 {color: rgb(0, 0, 153), font-family: Verdana, Arial, sans-serif ; }

  h4 { font-weight: bold;
    font-size: 100%;
    color: rgb(102, 0, 153);
    font-style: italic;
    font-family: sans-serif;
    }

  dl dt { font-weight: bold;
    }

  dl { margin-bottom: 0.2em;
    }

  tt { font-family: "Lucida Console","Courier New","Courier","Andale Mono";
    }

  pre { font-family: "Lucida Console","Courier New","Courier","Andale Mono";
    }

  p { margin-left: 1em;
    margin-right: 1em;
    }

  dd { margin-left: 3em;
    margin-right: 1em;
    }

  dt { margin-left: 1em;
    }

  p.new { border: medium none ;
    padding: 0.2em 0.1em 0.1em;
    background: rgb(255, 255, 0) none repeat scroll 0%;
    font-weight: bold;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    margin-left: 5%;
    margin-right: 10%;
    }

  p.new a:hover { background: rgb(224, 242, 0) none repeat scroll 0%;
    color: rgb(255, 0, 128);
    text-decoration: none;
    }

  p.highlight { border: medium none ;
    padding: 0.6em;
    background: rgb(252, 255, 132) none repeat scroll 0%;
    font-weight: bold;
    margin-left: 10%;
    margin-right: 10%;
    }

  p.highlight a:hover { background: rgb(221, 255, 119) none repeat scroll 0%;
    color: rgb(255, 0, 128);
    text-decoration: none;
    }

  p.sidebar { font-size: 80%;
    }

  p.navbar { border-style: solid;
    border-color: rgb(224, 224, 224) rgb(224, 224, 224) rgb(204, 204, 204) rgb(204, 204, 204);
    border-width: thin;
    padding: 0.2em;
    background: rgb(238, 238, 255) none repeat scroll 0%;
    color: rgb(0, 102, 255);
    font-weight: bold;
    font-size: 100%;
    }

  p.navbar a:link { text-decoration: none;
    }

  p.navbar a:visited { text-decoration: none;
    }

  p.navbar a:hover { background: rgb(202, 202, 203) none repeat scroll 0%;
    color: rgb(255, 255, 255);
    text-decoration: none;
    }

  p.endbar { padding: 0.2em 0.8em;
    background: rgb(238, 238, 255) none repeat scroll 0%;
    font-size: 60%;
    color: rgb(164, 164, 164);
    font-weight: bold;
    text-align: center;
    }

  p.headbar { padding: 0.2em 0.8em;
    background: rgb(238, 238, 255) none repeat scroll 0%;
    padding: 0.2em;
    border-color: rgb(255, 0, 128) rgb(255, 0, 128) rgb(238, 49, 157) rgb(238, 49, 157);
    border-width: thin;
    font-size: 60%;
    text-align: left;
    }

  p.book { border: medium none ;
    padding: 0.6em 0.1em 0.1em;
    background: rgb(254, 254, 248) none repeat scroll 0%;
    font-weight: bold;
    margin-left: 0%;
    margin-right: 0%;
    text-align: center;
    }

  p.book tt { border-bottom: medium none;
    padding: 0.2em 0.1em 0.1em;
    text-align: center;
    font-size: 110%;
    margin-left: 10%;
    margin-right: 10%;
    }

  p.TOC { font-weight: bold;
    font-size: 70%;
    margin-bottom: 0.2em;
    margin-left: 1.9em;
    color: rgb(102, 0, 73);
    font-family: sans-serif;
    }

  p.code { border: medium none ;
    padding: 0.6em 0.1em 0.1em;
    color: rgb(17, 17, 17);
    margin-left: 20%;
    margin-right: 20%;
    }
    
  p.semiH1 {
  	font-family: Verdana, Arial, sans-serif ; 
    font-weight: bold;
    font-size: x-large;

  }

}