html {
	background-color: white;
	color: black;
	font-family: Arial, sans-serif;
	font-size: 1em;
	line-height: 1.25em;
}

body {
	margin: 0;
}

/* Links */

a {color: #0044B3;}
a:visited {color: #597BB3;}
a.nonexistent {color: gray;}
a:hover, h1 a:hover {color: #0044B3;}

/* Headings */

h1 {
	margin: 0;
	padding: 0;
	color: black;
	font-size: 2em;
	font-weight: bold; 
	line-height: 1.2em;
}

h2, h3, h4, h5, h6
{
	margin: 1.5em 0 0 0;
	padding: 0;
	color: black;
	line-height: 1.2em;
}	

h2 {font-size: 1.6em;}
h3 {font-size: 1.3em;}
h4 {font-size: 1.1em;}
h5, h6 {font-size: 1em;}

/* standard rule ---- */
hr {
    height: 1pt;
    background-color: #9C9C9C;
    border: 0;
}

/* custom rules ----- to ---------- */
.hr1 {height: 2pt;}
.hr2 {height: 3pt;}
.hr3 {height: 4pt;}
.hr4 {height: 5pt;}
.hr5 {height: 6pt;}
.hr6 {height: 7pt;}


strong.highlight 
{
	background-color: #CCE0FF;
	padding: 1pt;
}

/* user interface styles */

#header {
    margin: 0;
    padding: 0;
    background: #E7E7E7;
}

#navibar {
	clear: both;
	display: block;
	margin: 0;
	padding: 0 10px;
	font-size: 13px;
}

#navibar li {
	float: left;
	display: block;
	margin: 0 2px;
	padding: 2px 5px;
	border: 1px solid #9C9C9C;
	border-bottom: none;
	white-space: nowrap;
}


#navibar a, #navibar a:visited {
	color: black;
	text-decoration: none;    
}

#navibar li.current a {
	font-weight: bold;
}

#navibar li:hover {
	background: #CCCCCC;
}

#navibar li.current, #navibar li.current:hover {
	background: #FAD163
}

#pageline {
	clear: both;
	margin: 0;
	padding: 0;
	width: 100%;
	/* sync these values, line-height is needed for IE */
		height: 4px;
		line-height: 4px;
	border-bottom: 1px solid #9C9C9C;
	background: #FAD163;
}

#basediv, #sixem, #twoem
 {
	border: 0px solid #000;
	margin: 5px;
	padding: 5px;
}

    div#twoem {
        margin-left: 2em;
        padding-left: 0;
    }
    #sixem ul {
        margin-left: 6em;
        padding-left: 0;
    }

pre {
  font-family: "bitstream vera sans mono", monaco, "luxi mono", monospace;
  font-size: 10pt;
  line-height: 1.0em;
  }

pre.programlisting {
  border-top: 1px solid #666666;
  border-right: 2px solid #666666;
  border-bottom: 2px solid #666666;
  border-left: 1px solid #666666;
  background-color: #E7E7E7;
  padding: 1px;
  }

#programlisting_link {
    color: black;
    text-decoration: none;
  }