michael@0: /**
michael@0:  * Sphinx stylesheet -- basic theme
michael@0:  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
michael@0:  */
michael@0:  h3 {
michael@0:      color:#000000;
michael@0:      font-size: 17px;
michael@0:      margin-bottom:0.5em;
michael@0:      margin-top:2em;
michael@0:  }
michael@0: /* -- main layout ----------------------------------------------------------- */
michael@0: 
michael@0: div.clearer {
michael@0:     clear: both;
michael@0: }
michael@0: 
michael@0: /* -- header ---------------------------------------------------------------- */
michael@0: 
michael@0: #header #title {
michael@0:     background:#29334F url(title_background.png) repeat-x scroll 0 0;
michael@0:     border-bottom:1px solid #B6B6B6;
michael@0:     height:25px;
michael@0:     overflow:hidden;
michael@0: }
michael@0: #headerButtons {
michael@0:     position: absolute;
michael@0:     list-style: none outside;
michael@0:     top: 26px;
michael@0:     left: 0px;
michael@0:     right: 0px;
michael@0:     margin: 0px;
michael@0:     padding: 0px;
michael@0:     border-top: 1px solid #2B334F;
michael@0:     border-bottom: 1px solid #EDEDED;
michael@0:     height: 20px;
michael@0:     font-size: 8pt;
michael@0:     overflow: hidden;
michael@0:     background-color: #D8D8D8;
michael@0: }
michael@0: 
michael@0: #headerButtons li {
michael@0:     background-repeat:no-repeat;
michael@0:     display:inline;
michael@0:     margin-top:0;
michael@0:     padding:0;
michael@0: }
michael@0: 
michael@0: .headerButton {
michael@0:     display: inline;
michael@0:     height:20px;
michael@0: }
michael@0: 
michael@0: .headerButton a {
michael@0:     text-decoration: none;
michael@0:     float: right;
michael@0:     height: 20px;
michael@0:     padding: 4px 15px;
michael@0:     border-left: 1px solid #ACACAC;
michael@0:     font-family:'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
michael@0:     color: black;
michael@0: }
michael@0: .headerButton a:hover {
michael@0:     color: white;
michael@0:     background-color: #787878;
michael@0:     
michael@0: }
michael@0: 
michael@0: li#toc_button {
michael@0:     text-align:left;
michael@0: }
michael@0: 
michael@0: li#toc_button .headerButton a {
michael@0:     width:198px;
michael@0:     padding-top: 4px;
michael@0:     font-family:'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
michael@0:     color: black;
michael@0:     float: left;
michael@0:     padding-left:15px;
michael@0:     border-right:1px solid #ACACAC;
michael@0:     background:transparent url(triangle_open.png) no-repeat scroll 4px 6px;
michael@0: }
michael@0: 
michael@0: li#toc_button .headerButton a:hover {
michael@0:     background-color: #787878;
michael@0:     color: white;
michael@0: }
michael@0: 
michael@0: li#page_buttons {
michael@0: position:absolute;
michael@0: right:0;
michael@0: }
michael@0: 
michael@0: #breadcrumbs {
michael@0:     color: black;
michael@0:     background-image:url(breadcrumb_background.png);
michael@0:     border-top:1px solid #2B334F;
michael@0:     bottom:0;
michael@0:     font-size:10px;
michael@0:     height:15px;
michael@0:     left:0;
michael@0:     overflow:hidden;
michael@0:     padding:3px 10px 0;
michael@0:     position:absolute;
michael@0:     right:0;
michael@0:     white-space:nowrap;
michael@0:     z-index:901;
michael@0: }
michael@0: #breadcrumbs a {
michael@0:     color: black;
michael@0:     text-decoration: none;
michael@0: }
michael@0: #breadcrumbs a:hover {
michael@0:     text-decoration: underline;
michael@0: }
michael@0: #breadcrumbs img {
michael@0:     padding-left: 3px;
michael@0: }
michael@0: /* -- sidebar --------------------------------------------------------------- */
michael@0: #sphinxsidebar {
michael@0:     position: absolute;
michael@0:     top: 84px;
michael@0:     bottom: 19px;
michael@0:     left: 0px;
michael@0:     width: 229px; 
michael@0:     background-color: #E4EBF7;
michael@0:     border-right: 1px solid #ACACAC;
michael@0:     border-top: 1px solid #2B334F;
michael@0:     overflow-x: hidden;
michael@0:     overflow-y: auto;
michael@0:     padding: 0px 0px 0px 0px;
michael@0:     font-size:11px;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebarwrapper {
michael@0:     padding: 10px 5px 0 10px;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar li {
michael@0:     margin: 0px;
michael@0:     padding: 0px;
michael@0:     font-weight: normal;
michael@0:     margin: 0px 0px 7px 0px;
michael@0:     overflow: hidden;
michael@0:     text-overflow: ellipsis;
michael@0:     font-size: 11px;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar ul {
michael@0:     list-style: none;
michael@0:     margin: 0px 0px 0px 0px;
michael@0:     padding: 0px 5px 0px 5px;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar ul ul,
michael@0: #sphinxsidebar ul.want-points {
michael@0:     list-style: square;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar ul ul {
michael@0:     margin-top: 0;
michael@0:     margin-bottom: 0;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar form {
michael@0:     margin-top: 10px;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar input {
michael@0:     border: 1px solid #787878;
michael@0:     font-family: sans-serif;
michael@0:     font-size: 1em;
michael@0: }
michael@0: 
michael@0: img {
michael@0:     border: 0;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar li.toctree-l1 a {
michael@0:     font-weight: bold;
michael@0:     color: #000;
michael@0:     text-decoration: none;
michael@0: }
michael@0: 
michael@0: #sphinxsidebar li.toctree-l2 a {
michael@0:     font-weight: bold;
michael@0:     color: #4f4f4f;
michael@0:     text-decoration: none;
michael@0: }
michael@0: 
michael@0: /* -- search page ----------------------------------------------------------- */
michael@0: 
michael@0: ul.search {
michael@0:     margin: 10px 0 0 20px;
michael@0:     padding: 0;
michael@0: }
michael@0: 
michael@0: ul.search li {
michael@0:     padding: 5px 0 5px 20px;
michael@0:     background-image: url(file.png);
michael@0:     background-repeat: no-repeat;
michael@0:     background-position: 0 7px;
michael@0: }
michael@0: 
michael@0: ul.search li a {
michael@0:     font-weight: bold;
michael@0: }
michael@0: 
michael@0: ul.search li div.context {
michael@0:     color: #888;
michael@0:     margin: 2px 0 0 30px;
michael@0:     text-align: left;
michael@0: }
michael@0: 
michael@0: ul.keywordmatches li.goodmatch a {
michael@0:     font-weight: bold;
michael@0: }
michael@0: #sphinxsidebar input.prettysearch {border:none;}
michael@0: input.searchbutton {
michael@0:     float: right;
michael@0: }
michael@0: .search-wrapper {width: 100%; height: 25px;}
michael@0: .search-wrapper input.prettysearch { border: none; width:200px; height: 16px; background: url(searchfield_repeat.png) center top repeat-x; border: 0px; margin: 0; padding: 3px 0 0 0; font: 11px "Lucida Grande", "Lucida Sans Unicode", Arial, sans-serif; }
michael@0: .search-wrapper input.prettysearch { width: 184px; margin-left: 20px; *margin-top:-1px; *margin-right:-2px; *margin-left:10px; }
michael@0: .search-wrapper .search-left { display: block; position: absolute; width: 20px; height: 19px; background: url(searchfield_leftcap.png) left top no-repeat; }
michael@0: .search-wrapper .search-right { display: block; position: relative; left: 204px; top: -19px; width: 10px; height: 19px; background: url(searchfield_rightcap.png) right top no-repeat; }
michael@0: 
michael@0: /* -- index page ------------------------------------------------------------ */
michael@0: 
michael@0: table.contentstable {
michael@0:     width: 90%;
michael@0: }
michael@0: 
michael@0: table.contentstable p.biglink {
michael@0:     line-height: 150%;
michael@0: }
michael@0: 
michael@0: a.biglink {
michael@0:     font-size: 1.3em;
michael@0: }
michael@0: 
michael@0: span.linkdescr {
michael@0:     font-style: italic;
michael@0:     padding-top: 5px;
michael@0:     font-size: 90%;
michael@0: }
michael@0: 
michael@0: /* -- general index --------------------------------------------------------- */
michael@0: 
michael@0: table.indextable td {
michael@0:     text-align: left;
michael@0:     vertical-align: top;
michael@0: }
michael@0: 
michael@0: table.indextable dl, table.indextable dd {
michael@0:     margin-top: 0;
michael@0:     margin-bottom: 0;
michael@0: }
michael@0: 
michael@0: table.indextable tr.pcap {
michael@0:     height: 10px;
michael@0: }
michael@0: 
michael@0: table.indextable tr.cap {
michael@0:     margin-top: 10px;
michael@0:     background-color: #f2f2f2;
michael@0: }
michael@0: 
michael@0: img.toggler {
michael@0:     margin-right: 3px;
michael@0:     margin-top: 3px;
michael@0:     cursor: pointer;
michael@0: }
michael@0: 
michael@0: /* -- general body styles --------------------------------------------------- */
michael@0: .document {
michael@0:     border-top:1px solid #2B334F;
michael@0:     overflow:auto;
michael@0:     padding-left:2em;
michael@0:     padding-right:2em;
michael@0:     position:absolute;
michael@0:     z-index:1;
michael@0:     top:84px;
michael@0:     bottom:19px;
michael@0:     right:0;
michael@0:     left:230px;
michael@0: }
michael@0: 
michael@0: a.headerlink {
michael@0:     visibility: hidden;
michael@0: }
michael@0: 
michael@0: h1:hover > a.headerlink,
michael@0: h2:hover > a.headerlink,
michael@0: h3:hover > a.headerlink,
michael@0: h4:hover > a.headerlink,
michael@0: h5:hover > a.headerlink,
michael@0: h6:hover > a.headerlink,
michael@0: dt:hover > a.headerlink {
michael@0:     visibility: visible;
michael@0: }
michael@0: 
michael@0: div.body p.caption {
michael@0:     text-align: inherit;
michael@0: }
michael@0: 
michael@0: div.body td {
michael@0:     text-align: left;
michael@0: }
michael@0: 
michael@0: .field-list ul {
michael@0:     padding-left: 1em;
michael@0: }
michael@0: 
michael@0: .first {
michael@0:     margin-top: 0 !important;
michael@0: }
michael@0: 
michael@0: p.rubric {
michael@0:     margin-top: 30px;
michael@0:     font-weight: bold;
michael@0: }
michael@0: 
michael@0: /* -- sidebars -------------------------------------------------------------- */
michael@0: 
michael@0: /*div.sidebar {
michael@0:     margin: 0 0 0.5em 1em;
michael@0:     border: 1px solid #ddb;
michael@0:     padding: 7px 7px 0 7px;
michael@0:     background-color: #ffe;
michael@0:     width: 40%;
michael@0:     float: right;
michael@0: }
michael@0: 
michael@0: p.sidebar-title {
michael@0:     font-weight: bold;
michael@0: }
michael@0: */
michael@0: /* -- topics ---------------------------------------------------------------- */
michael@0: 
michael@0: div.topic {
michael@0:     border: 1px solid #ccc;
michael@0:     padding: 7px 7px 0 7px;
michael@0:     margin: 10px 0 10px 0;
michael@0: }
michael@0: 
michael@0: p.topic-title {
michael@0:     font-size: 1.1em;
michael@0:     font-weight: bold;
michael@0:     margin-top: 10px;
michael@0: }
michael@0: 
michael@0: /* -- admonitions ----------------------------------------------------------- */
michael@0: .admonition {
michael@0:     border: 1px solid #a1a5a9;
michael@0:     background-color: #f7f7f7;
michael@0:     margin: 20px;
michael@0:     padding: 0px 8px 7px 9px;
michael@0:     text-align: left;
michael@0: }
michael@0: .warning {
michael@0:     background-color:#E8E8E8;
michael@0:     border:1px solid #111111;
michael@0:     margin:30px;
michael@0: }
michael@0: .admonition p { 
michael@0:     font: 12px 'Lucida Grande', Geneva, Helvetica, Arial, sans-serif;
michael@0:     margin-top: 7px;
michael@0:     margin-bottom: 0px;
michael@0: }
michael@0: 
michael@0: div.admonition dt {
michael@0:     font-weight: bold;
michael@0: }
michael@0: 
michael@0: div.admonition dl {
michael@0:     margin-bottom: 0;
michael@0: }
michael@0: 
michael@0: p.admonition-title {
michael@0:     margin: 0px 10px 5px 0px;
michael@0:     font-weight: bold;
michael@0:     padding-top: 3px;
michael@0: }
michael@0: 
michael@0: div.body p.centered {
michael@0:     text-align: center;
michael@0:     margin-top: 25px;
michael@0: }
michael@0: 
michael@0: /* -- tables ---------------------------------------------------------------- */
michael@0: 
michael@0: table.docutils {
michael@0:     border-collapse: collapse;
michael@0:     border-top: 1px solid #919699;
michael@0:     border-left: 1px solid #919699;
michael@0:     border-right: 1px solid #919699;
michael@0:     font-size:12px;
michael@0:     padding:8px;
michael@0:     text-align:left;
michael@0:     vertical-align:top;
michael@0: }
michael@0: 
michael@0: table.docutils td, table.docutils th {
michael@0:     padding: 8px;
michael@0:     font-size: 12px;
michael@0:     text-align: left;
michael@0:     vertical-align: top;
michael@0:     border-bottom: 1px solid #919699;
michael@0: }
michael@0: 
michael@0: table.docutils th {
michael@0:     font-weight: bold;
michael@0: }
michael@0: /* This alternates colors in up to six table rows (light blue for odd, white for even)*/      
michael@0: .docutils tr {
michael@0:         background: #F0F5F9;
michael@0: }
michael@0: 
michael@0: .docutils tr + tr {
michael@0:         background: #FFFFFF;
michael@0: }
michael@0: 
michael@0: .docutils tr + tr + tr {
michael@0:         background: #F0F5F9;
michael@0: }
michael@0: 
michael@0: .docutils tr + tr + tr + tr {
michael@0:         background: #FFFFFF;
michael@0: }
michael@0: 
michael@0: .docutils tr + tr + tr +tr + tr {
michael@0:         background: #F0F5F9;
michael@0: }
michael@0: 
michael@0: .docutils tr + tr + tr + tr + tr + tr {
michael@0:         background: #FFFFFF;
michael@0: }
michael@0: 
michael@0: .docutils tr + tr + tr + tr + tr + tr + tr {
michael@0:         background: #F0F5F9;
michael@0: }
michael@0: 
michael@0: table.footnote td, table.footnote th {
michael@0:     border: 0 !important;
michael@0: }
michael@0: 
michael@0: th {
michael@0:     text-align: left;
michael@0:     padding-right: 5px;
michael@0: }
michael@0: 
michael@0: /* -- other body styles ----------------------------------------------------- */
michael@0: 
michael@0: dl {
michael@0:     margin-bottom: 15px;
michael@0: }
michael@0: 
michael@0: dd p {
michael@0:     margin-top: 0px;
michael@0:     font-size: 12px;
michael@0: }
michael@0: 
michael@0: dd ul, dd table {
michael@0:     margin-bottom: 10px;
michael@0: }
michael@0: 
michael@0: dd {
michael@0:     margin-top: 3px;
michael@0:     margin-bottom: 10px;
michael@0:     margin-left: 30px;
michael@0:     font-size: 12px;
michael@0: }
michael@0: 
michael@0: dt:target, .highlight {
michael@0:     background-color: #fbe54e;
michael@0: }
michael@0: 
michael@0: dl.glossary dt {
michael@0:     font-weight: bold;
michael@0:     font-size: 0.8em;
michael@0: }
michael@0: 
michael@0: dl.glossary dd {
michael@0: 	font-size:12px;
michael@0: }
michael@0: .field-list ul {
michael@0:     vertical-align: top;
michael@0:     margin: 0;
michael@0:     padding-bottom: 0;
michael@0:     list-style: none inside;
michael@0: }
michael@0: 
michael@0: .field-list ul li {
michael@0:     margin-top: 0;
michael@0: }
michael@0: 
michael@0: .field-list p {
michael@0:     margin: 0;
michael@0: }
michael@0: 
michael@0: .refcount {
michael@0:     color: #060;
michael@0: }
michael@0: 
michael@0: .optional {
michael@0:     font-size: 1.3em;
michael@0: }
michael@0: 
michael@0: .versionmodified {
michael@0:     font-style: italic;
michael@0: }
michael@0: 
michael@0: .system-message {
michael@0:     background-color: #fda;
michael@0:     padding: 5px;
michael@0:     border: 3px solid red;
michael@0: }
michael@0: 
michael@0: .footnote:target  {
michael@0:     background-color: #ffa
michael@0: }
michael@0: 
michael@0: /* -- code displays --------------------------------------------------------- */
michael@0: 
michael@0: pre {
michael@0:     overflow: auto;
michael@0:     background-color:#F1F5F9;
michael@0:     border:1px solid #C9D1D7;
michael@0:     border-spacing:0;
michael@0:     font-family:"Bitstream Vera Sans Mono",Monaco,"Lucida Console",Courier,Consolas,monospace;
michael@0:     font-size:11px;
michael@0:     padding: 10px;
michael@0: }
michael@0: 
michael@0: td.linenos pre {
michael@0:     padding: 5px 0px;
michael@0:     border: 0;
michael@0:     background-color: transparent;
michael@0:     color: #aaa;
michael@0: }
michael@0: 
michael@0: table.highlighttable {
michael@0:     margin-left: 0.5em;
michael@0: }
michael@0: 
michael@0: table.highlighttable td {
michael@0:     padding: 0 0.5em 0 0.5em;
michael@0: }
michael@0: 
michael@0: tt {
michael@0: 	font-family:"Bitstream Vera Sans Mono",Monaco,"Lucida Console",Courier,Consolas,monospace;
michael@0: 
michael@0: }
michael@0: 
michael@0: tt.descname {
michael@0:     background-color: transparent;
michael@0:     font-weight: bold;
michael@0:     font-size: 1em;
michael@0: }
michael@0: 
michael@0: tt.descclassname {
michael@0:     background-color: transparent;
michael@0: }
michael@0: 
michael@0: tt.xref, a tt {
michael@0:     background-color: transparent;
michael@0:     font-weight: bold;
michael@0: }
michael@0: 
michael@0: h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
michael@0:     background-color: transparent;
michael@0: }
michael@0: 
michael@0: /* -- math display ---------------------------------------------------------- */
michael@0: 
michael@0: img.math {
michael@0:     vertical-align: middle;
michael@0: }
michael@0: 
michael@0: div.body div.math p {
michael@0:     text-align: center;
michael@0: }
michael@0: 
michael@0: span.eqno {
michael@0:     float: right;
michael@0: }
michael@0: 
michael@0: /* -- printout stylesheet --------------------------------------------------- */
michael@0: 
michael@0: @media print {
michael@0:     div.document,
michael@0:     div.documentwrapper,
michael@0:     div.bodywrapper {
michael@0:         margin: 0;
michael@0:         width: 100%;
michael@0:     }
michael@0: 
michael@0:     div.sphinxsidebar,
michael@0:     div.related,
michael@0:     div.footer,
michael@0:     #top-link {
michael@0:         display: none;
michael@0:     }
michael@0: }
michael@0: 
michael@0: body {
michael@0:     font-family:'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
michael@0: }
michael@0: 
michael@0: dl.class dt {
michael@0:     padding: 3px;
michael@0: /*    border-top: 2px solid #999;*/
michael@0: }
michael@0: 
michael@0: em.property {
michael@0:     font-style: normal;
michael@0: }
michael@0: 
michael@0: dl.class dd p {
michael@0: 	margin-top: 6px;
michael@0: }
michael@0: 
michael@0: dl.class dd dl.exception dt {
michael@0:     padding: 3px;
michael@0:     background-color: #FFD6D6;
michael@0:     border-top: none;
michael@0: }
michael@0: 
michael@0: dl.class dd dl.method dt {
michael@0:    padding: 3px;
michael@0:    background-color: #e9e9e9;
michael@0:    border-top: none;
michael@0:    
michael@0: }
michael@0: 
michael@0: dl.function dt {
michael@0:     padding: 3px;
michael@0:     border-top: 2px solid #999;
michael@0: }
michael@0: 
michael@0: ul {
michael@0: list-style-image:none;
michael@0: list-style-position:outside;
michael@0: list-style-type:square;
michael@0: margin:0 0 0 30px;
michael@0: padding:0 0 12px 6px;
michael@0: }
michael@0: #docstitle {
michael@0:     height: 36px; 
michael@0:     background-image: url(header_sm_mid.png);
michael@0:     left: 0;
michael@0:     top: 0;
michael@0:     position: absolute;
michael@0:     width: 100%;
michael@0: }
michael@0: #docstitle p {
michael@0:     padding:7px 0 0 45px;
michael@0:     margin: 0;
michael@0:     color: white;
michael@0:     text-shadow:0 1px 0 #787878;
michael@0:     background: transparent url(documentation.png) no-repeat scroll 10px 3px;
michael@0:     height: 36px;
michael@0:     font-size: 15px;
michael@0: }
michael@0: #header {
michael@0: height:45px;
michael@0: left:0;
michael@0: position:absolute;
michael@0: right:0;
michael@0: top:36px;
michael@0: z-index:900;
michael@0: }
michael@0: 
michael@0: #header h1 {
michael@0: font-size:10pt;
michael@0: margin:0;
michael@0: padding:5px 0 0 10px;
michael@0: text-shadow:0 1px 0 #D5D5D5;
michael@0: white-space:nowrap;
michael@0: }
michael@0: 
michael@0: h1 {
michael@0: -x-system-font:none;
michael@0: color:#000000;
michael@0: font-family:'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
michael@0: font-size:30px;
michael@0: font-size-adjust:none;
michael@0: font-stretch:normal;
michael@0: font-style:normal;
michael@0: font-variant:normal;
michael@0: font-weight:bold;
michael@0: line-height:normal;
michael@0: margin-bottom:25px;
michael@0: margin-top:1em;
michael@0: }
michael@0: 
michael@0: .footer {
michael@0: border-top:1px solid #DDDDDD;
michael@0: clear:both;
michael@0: padding-top:9px;
michael@0: width:100%;
michael@0: font-size:10px;
michael@0: }
michael@0: 
michael@0: p {
michael@0: -x-system-font:none;
michael@0: font-family:'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
michael@0: font-size:12px;
michael@0: font-size-adjust:none;
michael@0: font-stretch:normal;
michael@0: font-style:normal;
michael@0: font-variant:normal;
michael@0: font-weight:normal;
michael@0: line-height:normal;
michael@0: margin-bottom:10px;
michael@0: margin-top:0;
michael@0: }
michael@0: 
michael@0: h2 {
michael@0: border-bottom:1px solid #919699;
michael@0: color:#000000;
michael@0: font-size:24px;
michael@0: margin-top:2.5em;
michael@0: padding-bottom:2px;
michael@0: }
michael@0: 
michael@0: a:link:hover {
michael@0: color:#093D92;
michael@0: text-decoration:underline;
michael@0: }
michael@0: 
michael@0: a:link {
michael@0: color:#093D92;
michael@0: text-decoration:none;
michael@0: }
michael@0: 
michael@0: 
michael@0: ol {
michael@0: list-style-position:outside;
michael@0: list-style-type:decimal;
michael@0: margin:0 0 0 30px;
michael@0: padding:0 0 12px 6px;
michael@0: }
michael@0: li {
michael@0: margin-top:7px;
michael@0: font-family:'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
michael@0: font-size:12px;
michael@0: font-size-adjust:none;
michael@0: font-stretch:normal;
michael@0: font-style:normal;
michael@0: font-variant:normal;
michael@0: font-weight:normal;
michael@0: line-height:normal;
michael@0: }
michael@0: li p {
michael@0: margin-top:8px;
michael@0: }