/* allgemein */
body                                  { background: #eeeeee; margin: 0px 0px 0px; padding: 0px; color: #666666; height: 100%; min-height: 100%; font: 11px Tahoma, sans-serif; }
body, [dummy]                         { height: auto; }
img                                   { border: 0px; }
a                                     { text-decoration: none; color: #666666; border-bottom: 1px dashed #666666; }
a:hover                               { /*text-decoration: underline;*/ }
table, td, th                         { margin: 0px; padding: 0px; border-collapse: collapse; border-spacing: 0px; font-size: 1em; }
td, th                                { vertical-align: top; text-align: left; padding: 0px 20px 10px 0px;}
form, h1, h2, h3, h4, p               { margin: 0px; padding: 0px; }

/* framing */
div#main                              { background: #ffffff; position: absolute; left: 50%; top: 16px; width: 920px; margin-left: -460px; padding: 2px;  }
div#head                              { background: #666666; color: #ffffff; margin-bottom: 2px; }
div#head a                            { color: #ffffff; }
div#head a,       div#foot a          { border: none; }
div#head a:hover, div#foot a:hover    { text-decoration: underline; }
div.right                             { float: right; }
div#head, div#foot                    { padding: 8px 20px; }
div#foot                              { /*border-bottom: 1px solid #666666;*/ background: #eeeeee; margin-top: 2px; }
div#head ul                           { margin: 3px 0px 3px -8px; padding: 0px; }
div#head li                           { margin: 0px; padding: 0px 5px 0px 8px; list-style: none; display: inline; border-left: 1px solid #ffffff; }
div#head li.first                     { border-left: none; }

div#content_wrap                      { border: 1px solid #eeeeee; padding: 8px 19px; height: 400px; min-height: 400px; }
div#content_wrap, [dummy]             { height: auto; }

h1                                    { font: normal 42px Georgia,"Times New Roman",Times,serif; font-variant: small-caps; text-transform: capitalize; }
h2                                    { font-size: 17px; font-weight: normal; border-top: 1px dashed #eeeeee; padding-top: 0.2em; }
h3                                    { font size: 12px; font-weight: bold; }
h1, h2, h3                            { margin: 0.8em 0px 0.5em; }
p, form                               { margin-bottom: 0.8em; }

input, textarea                       { font: 11px Tahoma, sans-serif; color: #666666; border: none; }
input.text, textarea                  { /*border: 1px solid #999999;*/ background: #eeeeee; padding: 3px; width: 220px; }
input.button                          { /*border: 1px solid #999999;*/border: none; background: none; margin: 0px; padding: /*0px*/ 2px; text-decoration: underline; font-weight: bold; cursor: pointer; }

div#content_main                      { border-right: 1px solid #eeeeee; padding-right: 19px; width: 600px; }

div.sidenotes                         { position: relative; left: 0px; top: 0px; width: 1px; height: 1px; overflow: visible; display: inline; }
div.sidenotes div                     { position: absolute; left: 620px; top: 0px; width: 240px; padding-bottom: 5px; }
div.sidenotes div, [dummy]            { left: 640px; }
div.sidenotes h3                      { font-size: 1em; margin: 0px; }

ul                                    { margin: 0px; padding: 0px 0px 0px 1.4em; }
ul li                                 { list-style-type: square; }


/* code snippets */

pre                                   { border: 1px solid #eeeeee; font-family: "Lucida Console", Courier, monospace; background: #f9f9f9; color: #000000; padding: 5px 10px; line-height: 1em; margin: 0px 0px 1em; }
pre span.server                       { background: #e9e9e9; color: #000000; }
pre span.server span.wrapper          { color: #ff0000; }
pre span.server span.system           { font-weight: bold; color: #0000ff; }
pre span.server span.keywords         { font-weight: bold; }
pre span.server span.corefunc         { font-weight: bold; color: #000080; }
pre span.server span.literal          { color: #008080; }
pre span.server span.number           { color: #008000; }
pre span.script                       { color: #000000; }
pre span.script span.wrapper          { color: #800000; }
pre span.script span.system           { font-weight: bold; color: #0000ff; }
pre span.script span.keywords         { font-weight: bold; }
pre span.script span.corefunc         { font-weight: bold; color: #000080; }
pre span.script span.literal          { color: #008080; }
pre span.script span.number           { color: #ff00ff; }
pre span.link                         { color: #008000; }
pre span.tag                          { color: #000080; }
pre span.attrib                       { color: #0000ff; }