body {	
background-color: #ffffff;
color: #000000;
font-family: monospace;
position: relative;
}
				
div.section {
margin-left: 10px;
margin-right: 10px;
}

div.footnote {
margin-left: 40px;
margin-right: 40px;
}

div#naming {
width: 100%;
margin-right: -4000px;
}

div#logo {
position: relative;
left: 50px;
top: 220px;
margin-left: -200px;
float: right;
}

hr {
margin-bottom: 12px;
margin-top: 0px;
style: groove;
color: #000000;
background-color: #666600;
height: 4px;
}

hr.section {
height: 2px;
width: 62%;
}

hr.subsection {
height: 1px;
width: 38%;
}

hr.footnote {
height: 1px;
width: 75%;
}

hr.end {
margin-bottom: 0px;
margin-top: 21px;
margin-left: 20px;
margin-right: 20px;
height: 3px;
}
												
h1 {
text-align: center;
font-size: 46px;
font-weight: bold;
color: #993333;
}
												
h2 {
font-size: 28px;
font-weight: bold;
color: #993333;
}

h3 {
font-size: 22px;
font-weight: normal;
color: #993333;
}

h4 {
font-size: 16px;
font-weight: normal;
color: #993333;
}

p {
margin-top: 0px;
margin-bottom: 0px;
font-size: 14px;
font-weight: normal;
text-indent: 20pt;

}

p.first {
text-indent: 0pt;
}

p.plainstart:first-letter {
font-weight: normal;
font-size: 14px;
color: #993333;
letter-spacing: 0px;
}

code:first-letter {
font-weight: normal;
font-size: 104px;
color: #993333;
letter-spacing: 0px;
}

li.footnote {
font-weight: normal;
letter-spacing: 0px;
font-size: 13px;
font-family: monospace;
inherit: none;
}

li:first-letter {
font-weight: bold;
letter-spacing: 3px;
font-size: 18px;
color: #993333;
font-family: monospace;
inherit: none;
}

li li:first-letter {
font-weight: normal;
font-size: 14px;
color: #993333;
letter-spacing: 0px;
}

li.footnote:first-letter {
font-weight: normal;
font-size: 14px;
color: #993333;
letter-spacing: 0px;
}

h2:first-letter {
font-weight: bold;
letter-spacing: 3px;
font-size: 36px;
font-family: monospace;
inherit: none;
}

h3:first-letter {
font-weight: bold;
letter-spacing: 3px;
font-size: 28px;
font-family: monospace;
inherit: none;
}

h4:first-letter {
font-weight: bold;
letter-spacing: 3px;
font-size: 24px;
font-family: monospace;
inherit: none;
}

p:first-letter {
font-weight: bold;
letter-spacing: 3px;
font-size: 32px;
color: #993333;
font-family: monospace;
inherit: none;
}

ol {
margin: 2em;
padding: 0px;
}

li {
padding: 3px;
}

a:link {
color: #666600;
}

a:visited {
color: #993333;
}

span.bigword {
font-size: 14px;
font-weight: bold;
color: #993333;
font-family: monospace;
}

a.home {
text-decoration:none;
}

#tablist{
text-align: right;
padding: 3px 0;
margin-bottom: 5px;
margin-top: 8px;
margin-left: 20px;
margin-right: 20px;
font: bold 12px monospace;
border-top: 0px;
border-left: 0px;
border-right: 0px;
border-bottom: 4px;
border-color: #666600;
border-style: groove
}

#tablist li{
list-style: none;
display: inline;
margin: 0;
}

#tablist li a{
padding: 3px 0.5em;
margin-right: 3px;
border: 2px groove #AA8800;
border-bottom: none;
background-color: #ffffff;
}

#tablist li.current{
text-decoration: none;
padding: 3px 0.5em;
margin-right: 3px;
border: 4px ridge #666600;
border-bottom: none;
background: #ffffff;
}

#tablist li a:hover{
color: black;
background: #ffffff;
border-color: #ff0000;
}