.navbar {
   color : #000000;
   background : #ffff99;
   padding : 2px;
   border-width : thin;
   border-style : none none solid none;
   border-color : #cccc66;
}

PRE.example {
   color : black;
   background : #dddddd;
   margin-right : 1em;
   margin-left : 1em;
}


PRE.about {
   color : black;
   background : #ffffcc;
   margin-right : 1em;
   margin-left : 1em;
}


PRE {
   font-family : monospace;
}


H1, H2, H3, H4, H5, H6 {
   font-family : Tahoma, Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
   margin-bottom : 0;
}


DIV.example {
   color : black;
   background : #dddddd;
   border-width : 0;
   border-style : none;
   border-color : inherit;
}


.overline {
   font-family : Tahoma, Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
   margin-bottom : -2ex;
}


.nu {
   color : black;
   background : #ffff99;
}


.hl {
   font-family : Tahoma, Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
}


.alert {
   color : red;
   background : white;
}