/* :Author: Fred L. Drake, Jr. :Author: Olivier Grisel <olivier.grisel@ensta.org> :date: $Date: 2004/03/31 22:31:05 $ :version: $Revision: 1.7 $ */ @import url(default.css); body { margin: 0; padding: 0; background-color: #333; margin: 2% 5% 2% 5%; } div.document { font-size: 13px; padding: 3em 5em 3em 5em; background-color: white; border: 1px outset black; /* background-image: url(strands.png); background-position: 2em 0; background-repeat: repeat-y; */ } h1.title { font-size: 170%; } div.section { margin: 0px 0px 1.5em 0px; } div.section h1 { padding: 0.3em; margin-top: 1em; background-color: #333; border: 1px solid; border-color: #666 #222 #222 #666; } div.section h1 a { color: white; } h1 { font-family: sans-serif; font-size: 135%; margin-bottom: 4ex; } h2 { font-family: sans-serif; font-size: 120%; } h3 { font-family: sans-serif; font-size: 105%; } h4 { font-family: sans-serif; font-size: 100%; } h5 { font-family: sans-serif; font-size: 100%; } h6 { font-family: sans-serif; font-style: italic; font-size: 100%; } a, a:visited { color: #333; text-decoration: none; font-weight: bold; } a:hover { text-decoration: underline; } a:active { color: #666; } hr { width: 75%; } p { text-align: justify; } .literal .pre { background-color: white; font-family: lucidatypewriter, "lucida typewriter", sans-serif; } .literal-block { border: thin solid rgb(180,180,180); font-family: lucidatypewriter, "lucida typewriter", monospace; font-size: 90%; color: #111; line-height: 140%; background-color: #eee; padding: 0.5em; margin-bottom: 1.5em; } table.table { margin-left: 2em; margin-right: 2em; } table.table thead { background-color: rgb(230,230,230); } dt { font-weight: bold; } /* docutils uses the "option" class with both "col" and "span" elements, so we have to be explicit here */ .option-list span.option { font-weight: bold; } .option-list kbd { font-family: inherit; }