/* Standard styles */
/* Netscape 4.7 doesn't always inherit font-family */
/* Section titles */
#w1 #w2 #w3 table h3 {margin:5px 0px 0px 10px;}
#w1 #w2 #w3 table h4 {margin:5px 0px 0px 10px;}
.sect	{ font-size: 150%;
	  font-weight: normal;
	  color: #cc3300; background: white;
	  padding: 15px 0 5px 0; }

td.sectmenu, td.mainmenu
		{ vertical-align: top;
		  padding: 0 5px 10px 5px; }
/* Inverse */
/* td.inverse	{ padding: 0.2em 0.5em 0.2em 0.5em; font-size: 8pt; } */
.inverse	{ color: white; background: black; font-size: 8pt; }
td.inverse	{ font-size: 8pt; }
a.inverse	{ text-decoration: none; font-size: 8pt; font-weight: bold}
a.inverse:link    { color: #ffffff }
a.inverse:visited { color: #ffffff }
a.inverse:active  { color: #ffffff }
a.inverse:hover   { color: #ffcc66 }
#w1 #w2 #w3 table p {padding: 4px 0px 4px 10px}
dl.description {margin-left:10px; margin-bottom:10px;}
dt.description {padding:10px 0px 5px 0px;}
#w1 #w2 #w3 table dl.description dd p {padding-left:0px;}
#w1 #w2 #w3 ol.enumerate1 {margin-left:40px}
center.math-display {padding-top:7px;}