/**********************************************************/ /* PAGE-WIDE SETTINGS */ /**********************************************************/ html { height: 100%; } body { margin: 0 auto; padding: 0; height: 100%; font-size: 100%; line-height: 1.125; color: #000; background-color: #fff; } /***********************************************************/ /* HEADERS */ /***********************************************************/ .chapter, .section, .subsection, .subsubsection, .appendix, .appendixsec, .appendixsubsec, .unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec, .subheading, .subsubheading { color: #204a87; border-bottom: 1px dashed black; padding-bottom: 0.15em; margin-top: 0.6em; margin-bottom: 1em; } .settitle { background: #b1d281; font-size: 2em; text-align: center; padding: 0.4em 0.5em; border: solid #7b925a; border-width: 1px 0; margin: 0; } .chapter, .appendix, .unnumbered { font-size: 1.8em; } .section, .appendixsec, .unnumberedsec { font-size: 1.6em; } .subsection, .appendixsubsec, .unnumberedsubsec { font-size: 1.4em; } .subheading, .subsubsection, .unnumberedsubsubsec { font-size: 1.25em; } .subsubheading { font-size: 1em; font-weight: bold; } .chapheading { position: absolute; height: 0; overflow: hidden; text-indent: -999em; } /***********************************************************/ /* LINKS */ /***********************************************************/ a:link { color: #0c51ab; } a:visited { color: #804f01; } a:active { color: #278800; } a:hover { color: #0105ad; } /***********************************************************/ /* BLOCK FORMATTING */ /***********************************************************/ blockquote, .smallexample { width: 96%; padding: 0; border: solid #b1d281; border-width: 1px 1px 1px 5px; margin: 1em auto; } blockquote p, pre.smallexample { padding: 1em; margin: 0; } blockquote blockquote { border: none; } .verbatim, .example, .lisp { font-size: 1em; padding: 1em; margin: 0; } #main hr { height: 0; padding: 0; border: 0; margin: 0; text-indent: -999em; } table.cartouche { background: #f5f5dc; width: 85%; border-collapse: collapse; padding: 0 0.5em; border: 2px solid #8f5902; margin: 0 auto 1em; } table.cartouche p { padding: 1em; margin: 0; } table.cartouche td { border: none; } /***********************************************************/ /* MAIN CONTENT */ /***********************************************************/ div#main { position: absolute; top: 0; right: 0; bottom: 0; left: 0; padding: 0; margin: 0; overflow: auto; } div#main li { padding: 0 1em 0.5em 0; } div#main ul { margin: 0; padding-left: 3em; } h1, h2, h3, h4, p, table, address, dt { padding-left: 1em; padding-right: 1em; } p { margin: 1em 0; } #languages { padding: 0.5em 1em; margin: 0; } pre.menu-comment { font-size: 1em; padding-top: 1em; padding-bottom: 0; margin: 0; } #main .contents li { padding-bottom: 0; } #main .contents > ul { margin-bottom: 1em; } /***********************************************************/ /* TOC SIDEBAR */ /***********************************************************/ div#tocframe { display: none; position: absolute; top: 0; right: 73%; bottom: 0; left: 0; padding: 0; margin: 0; overflow: auto; background: #f5f5dc; z-index: 100; list-style-type: none; font-size: 0.83em; line-height: 1.3; } @media screen { body > div#tocframe { position: fixed } } div#tocframe a:link, div#tocframe a:visited { color: #454532; text-decoration: none; } div#tocframe a:hover { color: #232b16; text-decoration: underline; } div#tocframe p.toc_uplink { font-size: 1em; line-height: 1.125; background: #c9ccc4; padding: 0.25em 1em 0.25em 0.5em; border-bottom: 1px solid #a0a087; margin: 0; } div#tocframe p.toc_uplink a:link, div#tocframe p.toc_uplink a:visited { color: #1c1c1b; } div#tocframe p.toc_uplink a:hover { color: #000; } div#tocframe h4 { font-size: 1em; line-height: 1.125; font-weight: bold; font-style: italic; padding: 0.75em 0.5em 0 0.5em; margin: 0; } #tocframe .contents { background-color: transparent; list-style-type: none; padding: 0; border: 0; margin: 0; } #tocframe ul.toc { padding: 0.25em 0.5em 1em 0.5em; list-style-type: none; margin: 0; } #tocframe ul.toc ul.toc { padding: 0; margin: 0; } #tocframe ul.toc li { padding: 0; margin: 0; } #tocframe ul.toc > li { font-size: 1em; } #tocframe ul.toc li li { padding-left: 1em; } li.toc_current { font-weight: bold; font-style: italic; } li.toc_current ul { font-weight: normal; font-style: normal; background: transparent; } /***********************************************************/ /* NAVIGATION */ /***********************************************************/ .nav_table { width: 100%; background: #c9ccc4; font-size: 0.83em; border-collapse: collapse; padding: 0; border: none; margin: 0; } .nav_table a:link, .nav_table a:visited { color: #1c1c1b; text-decoration: none; } .nav_table a:hover { color: #000; text-decoration: underline; } .nav_table tr, .nav_table a { padding: 0; margin: 0; } .nav_table td { padding: 0.25em; margin: 0; } div.header { background: #b1d281; text-align: center; padding: 0.5em; border-bottom: 1px solid #7b925a; margin: 0; height: auto; } div.header h1 { font-size: 2em; padding: 0.25em; margin: 0; } div.subheader { background: #ddd; padding: 0; margin: 0; text-align: center; } div.subheader p { padding: 0.5em; margin: 0; } table#navigation { line-height: 1.5; padding: 0; margin: 1em auto; } table#navigation td { padding: 0.5em 0.75em; } table#navigation ul { padding-left: 0.5em; margin: 0; } table .title { font-weight: bold; } .footer { background: #e5f5ce; font-size: 0.8em; padding: 0.2em 0; border: solid #b1d281; border-width: 0 0 5px 0; margin: 0; } .footer a:link { color: #0308fc; } .footer p { padding: 0 1.25em; margin: 0.4em 0; } table.menu { margin: 0 0 1em; } /***********************************************************/ /* OVERRIDES FOR PRINTING */ /***********************************************************/ @media print { /* Hide the sidebar and make the main contents take up the full width */ div#main { position: static; overflow: visible; left: 0; } div#tocframe { display: none; } /* Also don't show the navigation toolbars between all sections */ .nav_table { display: none; } } /***********************************************************/ /* FORMATTING of AJAX SEARCH BOX */ /***********************************************************/ div#search { border: none; border-bottom: 1pt solid #C5972C; background: #E8E3AC; padding-left: 3px; padding-top: 2px; padding-bottom: 1px; } div#search p, div#search form { padding: 0; margin: 0; } #search_results { font-size: 0.75em; padding: 0; margin: 0; display: none; } #search_results table { width: 100%; } /***********************************************************/ /* OTHER */ /***********************************************************/ .warning { background: #eef; text-align: left; padding: 0; border: 1px solid green; /* Experimental rounded corners */ -moz-border-radius: 10px; -webkit-border-radius: 10px; margin: 1em; } .advanced { background: #eeffcc; text-align: left; padding: 0; border: 1px solid green; /* Experimental rounded corners */ -moz-border-radius: 10px; -webkit-border-radius: 10px; margin: 0.5em 0.5em 2em 3em; }