+++ /dev/null
-/***********************************************************/
-/* PAGE-WIDE SETTINGS */
-/**********************************************************/
-
-html {
- height:100%;
-}
-
-body {
- margin: 0;
- padding: 0;
- height: 100%;
- font-size: 100%;
- margin-right: auto;
- margin-left: auto;
- color: black;
- background-color: white;
-}
-
-/***********************************************************/
-/* HEADERS */
-/***********************************************************/
-h4, h3, h2, .unnumberedsubsubsec, .subsubheading {
- color: #151959;
-}
-
-h2 {
- font-size: x-large;
-}
-.unnumberedsubsubsec, .subsubheading {
- font-size: large;
-}
-
-/***********************************************************/
-/* LINKS */
-/***********************************************************/
-a:link, a:visited, a:hover, a:active {color:#2E5479; text-decoration: none;}
-a:hover {text-decoration: underline;}
-a:active {color:#CCCCFF;}
-
-/***********************************************************/
-/* BLOCK FORMATTING */
-/***********************************************************/
-blockquote {
- border: 1px solid #CCCCCC;
- padding: 3px;
- width: 40em;
-}
-.verbatim, .example, .smallexample {
- font-family: "Courier New",Courier,monospace;
-}
-hr {
- border: none;
- height: 1px;
- color: #666666;
- background-color: #666666;
-}
-table.cartouche {
- border: 2px dotted #CCCCCC;
- margin-left: auto;
- margin-right: auto;
- width: 85%;
-}
-table.cartouche td {
- border: none;
-}
-
-/***********************************************************/
-/* MAIN CONTENT */
-/***********************************************************/
-
-div#main {
- position: absolute;
- top: 0;
- right: 0;
- bottom: 0;
- left: 27%;
- padding: 0 1em;
- margin: 0;
- overflow: auto;
-}
-
-#languages {
- padding-bottom: 1em;
-}
-
-/***********************************************************/
-/* TOC SIDEBAR */
-/***********************************************************/
-
-div#tocframe {
- position: absolute;
- top: 0;
- right: 73%;
- bottom: 0;
- left: 0;
- padding: 5px;
- padding-bottom: 0;
- margin: 0;
- overflow: auto;
- background-color: #E7EFE3;
- z-index:100;
- list-style-type: none;
-}
-
-@media screen {
- body>div#tocframe {
- position: fixed
- }
- }
-
-#tocframe .contents {
- width: 100%;
- padding-bottom: 0.25em;
- border: none;
- margin: 0em;
- background-color: transparent;
- list-style-type: none;
-}
-
-#tocframe a, #tocframe a:visited, #tocframe a:active {
- color: #1B3313;
- text-decoration: none;
-}
-
-#tocframe a:hover {
- color: #2E5479;
- text-decoration:underline;
-}
-
-#tocframe ul.toc {
- padding-left: 0px;
- margin-left: 0px;
-}
-#tocframe ul.toc li {
- padding-left: 0px;
- margin-left: 0px;
- list-style-type: none;
-}
-#tocframe ul.toc > li {
- font-size: 12px;
-}
-#tocframe ul.toc li li {
- padding-left: 15px;
-}
-li.toc_current {
- font-weight: bold;
- font-style: italic;
-}
-
-li.toc_current ul {
- font-weight: normal;
- font-style: normal;
- background: transparent;
-}
-
-
-
-
-/***********************************************************/
-/* NAVIGATION */
-/***********************************************************/
-
-div.header {
- background-color: #E7EFE3;
- padding: 2px;
- border: #CCD3CC 1px solid;
- text-align: center;
-}
-
-h1.header {
- font-weight: bold;
- font-family: avantgarde, sans-serif;
- font-size: 220%;
-}
-
-div.subheader {
- text-align: center;
-}
-
-#navigation {
- margin: 0 auto;
-}
-
-.nav_table {
- width: 100%;
- background-color: #CCD3CC;
- border: 0;
- margin-top: 4px;
- left: auto;
- right: auto;
- font-size: 0.8em;
-}
-
-.title {
- font-weight: bold;
-}
-
-.footer {
- background-color: #E7EFE3;
- padding: 5px;
- border: #CCD3CC 1px solid;
- font-size: 80%;
-}
-
-
-
-/***********************************************************/
-/* OVERRIDES FOR PRINTING */
-/***********************************************************/
-@media print {
- /* Hide the sidebar: */
- body { padding-left: 0; }
- #tocframe { display: none; }
- .nav_table { display: none; }
-}