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