body { background-color: #ffffff; color: #3b3b3b; font-family: Tahoma, Arial, sans-serif; font-size: 10pt; line-height: 140% }
h1, h2, h3, h4, h5, h6 { font-weight: normal; color: #000000; line-height: 100% }
h1 { font-size: 200% }
h2 { font-size: 175% }
h3 { font-size: 150% }
h4 { font-size: 140% }
h5 { font-size: 130% }
h6 { font-size: 120% }
a { color: #1980af }
a:visited { color: #1980af }
a:hover { color: #1faae9 }
.title { position: absolute; left: 0px; right: 0px; top: 0px; height: 107px; background: url(bg_header.png) repeat-x }
.menu { position: absolute; top: 107px; left: 0px; width: 198px; bottom: 0px; padding: 0px; background-color: #fcfcfc }
.menu ul { background-image: url(bg_menu.png); list-style: none; padding-left: 80px; margin-top: 0px; padding-top: 20px; padding-bottom: 20px; color: #4a4a43 }
.menu a { text-decoration: none; color: #4a4a43 }
.main { position: absolute; top: 107px; left: 220px; right: 80px }
.code { background-color: #eeeeee; border: solid 1px black; padding: 0.5em }
.code-keyword { color: #880000 }
.code-quote { color: #008800 }
.code-object { color: #0000dd }
.code-java { margin: 0em }