body { 
    color: #3A3A3A;
    margin: 0;
    background-color: white;
    padding: 15px 0px 15px 15px;
    border-width: 0px;
    border-style: solid;
    scrollbar-face-color: #DEE3E7;
    scrollbar-highlight-color: #FFFFFF;
    scrollbar-shadow-color: #DEE3E7;
    scrollbar-3dlight-color: #D1D7DC;
    scrollbar-arrow-color:  #006699;
    scrollbar-track-color: #EFEFEF;
    scrollbar-darkshadow-color: #98AAB1;
    font: normal 15px verdana, arial, helvetica, sans-serif;
    background-color: #E1E4F2;
    color: #000099;
    border-left: 1px solid #738FBF;
    height: 99%;
    width: 90%;
    } 

a { 
    /*font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;*/
    color: #000099
    }

/* Font settings for page elements */
body, ul, td, th, p, h1, h2, h4, small, .small,
.tableTitle, .tableExtras, input, textarea, select {
    /*font-family: verdana, arial, helvetica, sans-serif;*/
    }

/* General header styles */
h1, h2, h4 {
    font-weight: bold;
    color: #000066;
    }
    
h1 { 
    font-size: 123%; 
    font-weight: bold;
    color: #000000;
    margin-top: 30pt;
    margin-bottom: 20pt;
    }

h4 { 
    font-size: 120%; 
    }
h3 { 
    font-size: 103%; 
    }

h3.title {
    margin-bottom: 4px;
    }
h1.title {
    font: normal 30px Verdana, Arial, Helvetica, sans-serif;
    margin-bottom: 0px;
    }
    
h2.subtitle {
    font: normal 20px Verdana, Arial, Helvetica, sans-serif;
    color: black;
    margin-bottom: 40px;
    margin-top: 6px;
    }

body {
  background-color: #fff;
  color: #000000;
  margin: 0px 0px 0px 0px;
  padding: 10px 20px 0px 20px;
    }

.author,.editor {
    font-weight: normal;
    margin-top:-14px;
    }

.title,.editedby  {
    margin-top: 25px;
    margin-bottom: 35px;
    }

.navheader {
	width: 100%;
    background-color: #eee;
    padding: 2px 15px 2px 11px;
    border-bottom: 1px solid #9D9DA1;
    }

.navfooter {
    padding: 0 0 15px 0;
    }

.navigation {
	font-size: 13px;
    }

#programlisting { 
	background-color: #EAEAEA;
	border: 1px solid #A6A6A6;
	padding: 15px;
	color: #292929;
    }

dl {
	/*margin-left: 2%;
	margin-top: 15px;*/
    margin: 15px 0 1.5em 0;
    padding: 0;
	}
dt {
    margin: 0 0 0.25em 0;
    padding: 0;
	font-weight: bold;
	}
dd {
    margin: 0 0 1em 24%;
    padding: 0;
}
dl dl {
    margin: 1em 0 1em 0;
    padding: 10px;
}
dl dl dt { 
    font-weight: normal;
}
dl dl dd {
    margin: 0 0 1em 24%;
    padding: 0;
}

/*
dd#parameter {
	margin-left: 24%;
	margin-top: 1%;
	}*/

#release-dates {
    font: normal 15px verdana, sans-serif;
    color: #CC0033;
    margin-top: 40px;
    }
    
li {
    list-style-type: none;
    list-style-position: outside;
    margin-top: 8px;
    }

ul {
    margin-left: 5px;
    }

#section {
	margin-left: 18px;
	}

.note {
    margin-bottom: 30px;
    }

.figure {
    margin-bottom: 40px;
    }

td,th {
	padding: 5px;
	}