div#TOC { line-height: 110%; } div#TOC a { display: list-item; margin-left: 16px; font-size: 90%; margin-top: 5px; } div#TOC a.H1 { } div#TOC a.H2 { margin-left: 1em; } div#TOC a.H3 { margin-left: 2em; } div#TOC a.H4 { margin-left: 3em; } div#TOC a.H5 { margin-left: 4em; } div#TOC a.H6 { margin-left: 5em; } div#TOC a:visited { } div#innertoc div { padding: 10px 0; padding-bottom: 25px; background-color: #ffffff; display: none; } a.page { font-size: 8px; } #container { width: 90%; background-color: #fff; color: #333; border: 1px solid gray; line-height: 130%; margin: 49px auto 30px; } #top { padding: .5em; background-color: #ddd; border-bottom: 1px solid gray; } #top h1 { margin: 0; padding: 0; font-variant: small-caps; vertical-align: middle; } #leftnav { float: left; width: 160px; margin: 0; padding: 1em; } #content { margin-left: 200px; border-left: 1px solid gray; padding: 1em; text-align: justify; } #footer { clear: both; margin: 0; padding: .5em; color: #333; background-color: #ddd; border-top: 1px solid gray; } #leftnav p { margin: 0 0 1em 0; } #content h1 { line-height: 1; text-align: left; font-variant: small-caps; } #content h2 { line-height: 1; text-align: left; } #content h3 { line-height: 1; text-align: left; } #content h4 { line-height: 1; text-align: left; } #content h5 { line-height: 1; text-align: left; } #content h6 { line-height: 1; text-align: left; } #not_any_more_supernav { position: fixed; height: 22px; color: #000; border-style: none; border-width: 1px; width: 100%; border-top: 4px none #ccc; background-color: #fff; top: 0; border-bottom: 1px solid #000; text-align: center; font-variant: small-caps; vertical-align: middle; font-size: 18px; } body { margin: 0; } blockquote { font-style: italic; }