BODY { margin:0; padding:0; background-color:#FFFFFF; }

A.navbar { text-decoration:none; font-weight:bold; }
A.navbar:link { color:black; }
A.navbar:visited { color:black; }
A.navbar:hover { color:gray; }
A.navbar:active { color:gray; }

A.navtop { text-decoration:none; font-weight:bold; }
A.navtop:link { color:black; }
A.navtop:visited { color:black; }
A.navtop:hover { color:gray; }
A.navtop:active { color:gray; }

A.navsec { text-decoration:none; font-weight:bold; }
A.navsec:link { color:#000066; }
A.navsec:visited { color:#000066; }
A.navsec:hover { color:#A0A0A0; }
A.navsec:active { color:#A0A0A0; }

A.navsubsec { font-weight:bold; }
A.navsubsec:link { color:black; }
A.navsubsec:visited { color:black; }
A.navsubsec:hover { color:grey; }
A.navsubsec:active { color:grey; }

p.Example {
  font-size: 90%;
  font-family: Univers, Arial, sans-serif;
  margin-top: 12px;
  margin-bottom: 6px;
}
span.Code{
 font-family: Courier, monospace;
 font-size: 90%;
}
ol.AlphaEnumerate {
  font-size: 100%;
  list-style-type: lower-alpha;
  margin-bottom: 12px;
}