/* text */
a { text-decoration: none }
#content a:link, a:active  { color: #45c8c3 }
#content a:visited  { color: #45c8c3 }
#content a:hover { text-decoration: underline }
/* layout */
body   { color: #333333; font-size: 11pt; font-family: "Trebuchet MS", Verdana, sans-serif; background-color: #eeecee; background-repeat: repeat; background-attachment: scroll; background-position: 0 0; text-align: center; margin: 0 0 30px; padding: 0 }
h1   { color: #222222; font-size: large; font-weight: bold; line-height: 2em; text-align: left; margin-top: 30px; margin-bottom: 10px; border-bottom: 1px solid #ccc }
h1, h2, h3, h4 { font-weight: normal; margin: 0; padding: 0 }
h2  { font-size: medium; font-style: italic; font-weight: bold; text-align: left; margin-top: 30px; margin-bottom: 10px; padding: 3px; border-bottom: 1px solid #ccc }
h3 { color: #222222; font-size: 110%; font-weight: bold; text-align: left; margin-bottom: 0 }
h4 { color: #222222; font-size: 110%; font-weight: bold; text-align: left; margin-top: 30px; border-bottom: 1px solid #ccc }
h5 { color: #222; font-size: 100%; font-weight: bold; text-align: left; margin-top: 10px; margin-bottom: -10px }
ol { color: #333333; font-size: small; font-weight: normal; text-align: left; cursor: pointer; list-style-type: none; margin: 0; padding: 0 }
p { color: #333333; font-size: small; font-weight: normal; line-height: 150%; text-align: left }
pre { font-size: small; font-family: "Courier New", Courier, mono }
ul { color: #333333; font-size: small; font-weight: normal; line-height: 150%; text-align: left; list-style-type: disc }
.centered { text-align: center }
.comment { color: #808080 }
.figure   { color: #707070; font-size: small; line-height: 1.2em }
.img { border: inset thin gray }
.keyword { color: #000084 }
.string  { color: #45c8c3 }
#container   { background-color: #ededed; text-align: left; margin-right: auto; margin-left: 0; position: relative; width: 600px; border-style: none solid solid; border-width: 0 1px 1px; border-color: #ddd }
#content   { background-color: white; margin-left: 150px; padding: 20px 15px 60px 10px; width: 550px; border-left: 1px solid #ddd }
#left    { background-color: #eeecee; display: inline; margin-top: 30px; position: absolute; top: 0; left: 0; width: 150px; height: 100% }
#menu { color: black }
#menu ol li a:link { color: black; font-size: 8pt; list-style-type: square; margin: 0; padding: 0 }
#menu ol li a:active { color: black; font-size: 8pt; list-style-type: decimal; margin: 0; padding: 0 }
#menu ol li a:visited { color: black; font-size: 8pt; list-style-type: decimal; margin: 0; padding: 0 }
#splash {
	margin-top: 15px;
}