/* Style sheet for CSS compliant browsers. */
/* Tested in Konqueror and Gecko (Mozilla) */
html
{
padding: 0px;
background-color: white;
font-family:  verdana, arial, helvetica, sans-serif;

}
body {
height: 100%;
margin: 0px;
padding: 0px;
}
div.nav {
position: fixed;
width: 20%;
left: 0px;
top: 0px;
background: #339933;
padding-top: 30px;
padding-left: 0px;
/* This value controls the vertical bar */
height: 100%;
}

div.nav a { 
		font-family:  verdana, arial, helvetica, sans-serif;
		font-weight:bold;
		text-decoration:none; 
		color: #000000; 
		}

div.nav a:hover {color:#ffffff; background:#FF3300;}


div.content {
margin-left: 24%;
padding: 0px;
padding-top: 1em;
padding-right:1em;
}

h1 {font-size:xx-large;}
h2 {font-size:x-large;}

div.section-title {color:#990000; 
                    font-size:large;
                    font-weight: bold;
                    padding-top:1em;
                    }
div.section {padding-bottom:1em;}

li.wellspaced {padding-bottom: 1em;}

h2 {color:#990000;}

div.sillypic {float: right;
					clear: right;
					margin-left:2em;
					margin-top:1em;}

div.credits {font-style: italic;}

div.example {
font-family: monospace;
background: #cccccc;
border-width: thin;
border-style: solid;
border-color: black;
display: table;
margin:0.5em;
padding:2em;}