-/**********************************************************/
-/* PAGE-WIDE SETTINGS */
-/**********************************************************/
-
-html {
- height: 100%;
-}
-
-body {
- background-color: white;
- color: black;
- font-size: 87.5%;
- height: 100%;
- line-height: 1.125;
- margin: 0 auto;
- padding: 0;
-}
-
-
-/***********************************************************/
-/* HEADERS */
-/***********************************************************/
-
-.chapter, .section, .subsection,
-.appendix, .appendixsec, .appendixsubsec,
-.unnumberedsubsubsec, .subsubheading,
-.unnumbered, .subheading {
- border-bottom: 1px dashed #bbb;
- color: #204a87;
- margin: 1em 0;
- padding-bottom: 0.4em;
-}
-
-.settitle {
- background-color: #eef;
- border-bottom: 1px solid #3465A4;
- font-size: 2em;
- margin: 0.5em 0 0 0;
- padding: 0.5em;
-}
-
-.chapter {
- font-size: 1.8em;
- padding: 0.5em;
-}
-
-.section {
- font-size: 1.6em;
- padding: 0.5em;
-}
-
-.subsection {
- font-size: 1.4em;
- padding: 0.5em;
-}
-
-.unnumberedsubsubsec {
- font-size: 1.25em;
- padding: 0.5em;
-}
-
-.subsubheading {
- font-size: 1em;
- font-weight: bold;
- padding: 0.5em 1em;
-}
-
-/***********************************************************/
-/* LINKS */
-/***********************************************************/
-
-a:link {
- /* color: #4169e1; */
- /* color: #3555b6; */
- color: #3465a4;
-}
-
-a:visited {
- color: #8f5902;
-}
-
-a:hover {
- color: #ce5c00;
-}
-
-a:active {
- color: #4487D7;
-}
-
-/***********************************************************/
-/* BLOCK FORMATTING */
-/***********************************************************/
-
-blockquote, .smallexample {
- border: thin solid #3465a4;
- border-width: 0 0 0 2px;
- margin: 1em 0 1em 3em;
- padding: 0;
-}
-
-blockquote p, pre.smallexample {
- margin: 0;
- padding: 1em;
-}
-
-blockquote blockquote {
- border: none;
- /* border: thick red dashed; */
-}
-
-.verbatim, .example, .lisp {
- font-size: 1.25em;
- margin: 0;
- padding: 1em;
-}
-
-hr {
- display: none;
-}
-
-table.cartouche {
- background: #eee;
- border: 1px solid #3465a4;
- border-width: 0 0 0 2px;
- width: 85%;
- padding: 0 0.5em;
- margin: 1em 0 1em 3em;
-}
-
-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: 25%;
- padding: 0;
- margin: 0;
- overflow: auto;
-}
-
-div#main li {
- padding: 0 1em 0.5em 0;
-}
-
-div#main ul {
- margin: 0;
-}
-
-h1, h2, h3, h4, p, table, address, dt {
- padding-left: 1em;
- padding-right: 1em;
-}
-
-p {
- margin: 1em 0;
-}
-
-th {
- text-align: left;
-}
-
-#languages {
- margin: 0;
- padding: 1em;
-}
-
-pre.menu-comment {
- font-size: 1em;
- padding-top: 1em;
- padding-bottom: 0;
- margin: 0;
-}
-
-/***********************************************************/
-/* TOC SIDEBAR */
-/***********************************************************/
-
-div#tocframe {
- background-color: #F9FCFF;
- font-size: 0.83em;
- line-height: 1.4;
- list-style-type: none;
- margin: 0;
- padding: 0;
- position: absolute;
- bottom: 0;
- left: 0;
- right: 75%;
- top: 0;
- overflow: auto;
- z-index: 100;
-}
-
-/* position: fixed for savvy browsers */
-
-@media screen {
- body > div#tocframe {
- position: fixed;
- }
-}
-
-div#tocframe h4 {
- background-color: #eef;
- border: 1px solid #3465A4;
- border-width: 0 0 1px 0;
- color: #344;
- font-size: 1.2em;
- font-weight: normal;
- height: 26px;
- margin: 0;
- padding: 8px 0 0 6px;
-}
-
-#tocframe .contents {
- background-color: transparent;
- border: none;
- list-style-type: none;
- margin: 0;
- padding: 0;
-}
-
-#tocframe ul.toc {
- list-style-type: none;
- margin: 0;
- padding: 1em 0.5em;
-}
-
-#tocframe ul.toc ul.toc {
- margin: 0;
- padding: 0;
-}
-
-#tocframe ul.toc li {
- margin: 0;
- padding: 0;
-}
-
-#tocframe ul.toc > li {
- font-size: 1em;
-}
-
-#tocframe ul.toc li li {
- padding-left: 1em;
-}
-
-li.toc_current {
- font-style: italic;
- font-weight: bold;
-}
-
-li.toc_current ul {
- background: transparent;
- font-style: normal;
- font-weight: normal;
-}
-
-
-/***********************************************************/
-/* NAVIGATION */
-/***********************************************************/
-
-.nav_table {
- background-color: #eef;
- border: 1px solid #3465A4;
- border-width: 0 0 1px 0;
- font-size: 0.8em;
- margin: 0;
- padding: 0;
- width: 100%;
-}
-
-div.header {
- background-color: #dde;
- margin: 0.75em 0 0 0;
-}
-
-div.header h1 {
- margin: 0;
- padding: 0.5em 0 0.5em 1em;
-}
-
-div.subheader {
- background-color: #eef;
- margin: 0;
-}
-
-div.subheader p {
- margin: 0;
- padding: 1em 0 1em 2em;
-}
-
-table#navigation {
- line-height: 1.5;
- margin: 1em 0 1em 3em;
- padding: 0;
-}
-
-table#navigation td {
- padding: 0.5em 0.75em;
-}
-
-table#navigation ul {
- margin-bottom: 1em;
- padding-left: 0.5em;
-}
-
-table .title {
- font-weight: bold;
-}
-
-.footer {
- background-color: #eef;
- border: 1px solid #3465A4;
- border-width: 0 0 1px 0;
- font-size: 0.8em;
- text-indent: 1em;
- padding: 1.5em 0;
- margin: 1em 0 0 0;
-}
-
-.footer p {
- line-height: 1.5;
- padding: 0;
- margin: 0 0.25em;
-}
-
-table.menu {
- margin: 0 0 1em;
-}
-
-/***********************************************************/
-/* OVERRIDES FOR PRINTING */
-/***********************************************************/
-
-@media print {
- body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
- /* Hide the sidebar: */
- #tocframe { display: none; }
- .nav_table { display: none; }
- /* Let #main expand to fill the new space */
- div#main { position: static; left: 0; }
-}
\ No newline at end of file