body {
	font-family: verdana, charcoal, helvetica, arial, sans-serif;
	margin: 2em;
	font-size: small ; color: #000000 ; background-color: #ffffff ; }
.title { color: #990000; font-size: x-large ;
	font-weight: bold; text-align: right;
	font-family: helvetica, monaco, "MS Sans Serif", arial, sans-serif;
	background-color: transparent; }
.filename { color: #666666; font-size: 18px; line-height: 28px;
	font-weight: bold; text-align: right;
	font-family: helvetica, arial, sans-serif;
	background-color: transparent; }
td.rfcbug { background-color: #000000 ; width: 30px ; height: 30px ;
	text-align: justify; vertical-align: middle ; padding-top: 2px ; }
td.rfcbug span.RFC { color: #666666; font-weight: bold; text-decoration: none;
	background-color: #000000 ;
	font-family: monaco, charcoal, geneva, "MS Sans Serif", helvetica, verdana, sans-serif;
	font-size: x-small ; }
td.rfcbug span.hotText { color: #ffffff; font-weight: normal; text-decoration: none;
	text-align: center ;
	font-family: charcoal, monaco, geneva, "MS Sans Serif", helvetica, verdana, sans-serif;
	font-size: x-small ; background-color: #000000; }
/* info code from SantaKlauss at http://www.madaboutstyle.com/tooltip2.html */
div#counter{margin-top: 100px}

a.info{
	position:relative; /*this is the key*/
	z-index:24;
	text-decoration:none}

a.info:hover{z-index:25; background-color:#990000 ; color: #ffffff ;}

a.info span{display: none}

a.info:hover span.info{ /*the span will display just on :hover state*/
	display:block;
	position:absolute;
	font-size: smaller ;
	top:2em; left:2em; width:15em;
	padding: 2px ;
	border:1px solid #333333;
	background-color:#eeeeee; color:#990000;
	text-align: left ;}

 A { font-weight: bold; }
 A:link { color: #990000; background-color: transparent ; }
 A:visited { color: #333333; background-color: transparent ; }
 A:active { color: #333333; background-color: transparent ; }

p { margin-left: 2em; margin-right: 2em; }
p.copyright { font-size: x-small ; }
p.toc { font-size: small ; font-weight: bold ; margin-left: 3em ;}
table.toc { margin: 0 0 0 3em; padding: 0; border: 0; vertical-align: text-top; }
td.toc { font-size: small; font-weight: bold; vertical-align: text-top; }

span.emph { font-style: italic; }
span.strong { font-weight: bold; }
span.verb, span.vbare { font-family: "Courier New", Courier, monospace ; }

span.vemph { font-style: italic; font-family: "Courier New", Courier, monospace ; }
span.vstrong { font-weight: bold; font-family: "Courier New", Courier, monospace ; }
span.vdeluxe { font-weight: bold; font-style: italic; font-family: "Courier New", Courier, monospace ; }

ol.text { margin-left: 2em; margin-right: 2em; }
ul.text { margin-left: 2em; margin-right: 2em; }
li { margin-left: 3em;  }

pre { margin-left: 3em; color: #333333;  background-color: transparent;
	font-family: "Courier New", Courier, monospace ; font-size: small ;
	text-align: left;
	}

h3 { color: #333333; font-size: medium ;
	font-family: helvetica, arial, sans-serif ;
	background-color: transparent; }
h4 { font-size: small; font-family: helvetica, arial, sans-serif ; }

table.bug { width: 30px ; height: 15px ; }
td.bug { color: #ffffff ; background-color: #990000 ;
	text-align: center ; width: 30px ; height: 15px ;
	 }
td.bug A.link2 { color: #ffffff ; font-weight: bold;
	text-decoration: none;
	font-family: monaco, charcoal, geneva, "MS Sans Serif", helvetica, sans-serif;
	font-size: x-small ; background-color: transparent }

td.header { color: #ffffff; font-size: x-small ;
	font-family: arial, helvetica, sans-serif; vertical-align: top;
	background-color: #666666 ; width: 33% ; }
td.author { font-weight: bold; margin-left: 4em; font-size: x-small ; }
td.author-text { font-size: x-small; }
table.full { vertical-align: top ; border-collapse: collapse ;
	border-style: solid solid solid solid ;
	border-color: black black black black ;
	font-size: small ; text-align: center ; }
table.headers, table.none { vertical-align: top ; border-collapse: collapse ;
	border-style: none;
	font-size: small ; text-align: center ; }
table.full th { font-weight: bold ;
	border-style: solid ;
	border-color: black black black black ; }
table.headers th { font-weight: bold ;
	border-style: none none solid none;
	border-color: black black black black ; }
table.none th { font-weight: bold ;
	border-style: none; }
table.full td {
	border-style: solid solid solid solid ;
	border-color: #333333 #333333 #333333 #333333 ; }
table.headers td, table.none td { border-style: none; }

hr { height: 1px }