cmlenz@235: @import(docutils.css);
cmlenz@235: 
cmlenz@235: html, body { height: 100%; margin: 0; padding: 0; }
cmlenz@235: html, body { background: #4b4d4d url(bkgnd_pattern.png); color: #000; }
cmlenz@235: body, th, td {
cmlenz@235:   font: normal small Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
cmlenz@235: }
cmlenz@235: pre, code, tt { font-size: medium; }
cmlenz@235: h1, h2, h3, h4 {
cmlenz@235:   font-family: Arial,Verdana,'Bitstream Vera Sans',Helvetica,sans-serif;
cmlenz@235:   font-weight: bold; letter-spacing: -0.018em;
cmlenz@235: }
cmlenz@235: h1 { font-size: 19px; margin: 2em 1em 0 0; }
cmlenz@235: h2 { font-size: 16px; }
cmlenz@235: h3 { font-size: 14px; }
cmlenz@235: hr { border: none;  border-top: 1px solid #ccb; margin: 2em 0; }
cmlenz@235: 
cmlenz@235: :link, :visited { text-decoration: none; border-bottom: 1px dotted #bbb;
cmlenz@235:   color: #b00;
cmlenz@235: }
cmlenz@235: :link:hover, :visited:hover { background-color: #eee; color: #555; }
cmlenz@235: :link img, :visited img { border: none }
cmlenz@235: h1 :link, h1 :visited ,h2 :link, h2 :visited, h3 :link, h3 :visited,
cmlenz@235: h4 :link, h4 :visited, h5 :link, h5 :visited, h6 :link, h6 :visited {
cmlenz@235:   color: #000;
cmlenz@235: }
cmlenz@235: 
cmlenz@235: div.document { background: #fff url(shadow.gif) right top repeat-y;
cmlenz@235:   border-left: 1px solid #000; margin: 0 auto 0 80px;
cmlenz@235:   min-height: 100%; width: 54em; padding: 0 180px 1px 20px;
cmlenz@235: }
cmlenz@235: h1.title { background: url(vertbars.png) repeat-x; color: #666;
cmlenz@235:   font-size: x-large; margin: 0 -20px 1em; padding: 2em 20px 0;
cmlenz@235: }
cmlenz@235: pre.literal-block { background: #f7f7f7; border: 1px solid #d7d7d7;
cmlenz@235:   margin: 1em 0; padding: .25em; overflow: auto;
cmlenz@235: }
cmlenz@235: 
cmlenz@235: div.contents { position: absolute; position: fixed; margin-left: 80px;
cmlenz@235:   left: 57.3em; top: 30px; right: 0;
cmlenz@235: }
cmlenz@235: div.contents .topic-title { display: none; }
cmlenz@235: div.contents ul { list-style: none; padding-left: 0; }
cmlenz@235: div.contents :link, div.contents :visited { color: #c6c6c6; border: none;
cmlenz@235:   display: block; padding: 3px 5px 3px 10px;
cmlenz@235: }
cmlenz@235: div.contents :link:hover, div.contents :visited:hover { background: #000;
cmlenz@235:   color: #fff;
cmlenz@235: }
cmlenz@235: 
cmlenz@235: img.logo { margin-top: 4.5em; }