padding: 0;
height: 100%;
font-size: 100%;
- line-height: 1.125em;
- color: black;
- background-color: white;
+ line-height: 1.125;
+ color: #000;
+ background-color: #fff;
}
-
/***********************************************************/
/* HEADERS */
/***********************************************************/
.chapter, .section, .subsection, .subsubsection,
.appendix, .appendixsec, .appendixsubsec,
-.unnumbered, .unnumberedsec, .unnumberedsubsubsec,
+.unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
.subheading, .subsubheading {
- line-height: 1.125em;
color: #204a87;
border-bottom: 1px dashed black;
padding-bottom: 0.15em;
.settitle {
background: #b1d281;
font-size: 2em;
- line-height: 1.125em;
text-align: center;
- margin: 0;
padding: 0.4em 0.5em;
- border: 1px solid #7b925a;
- border-width: 0 0 1px 0;
+ border: solid #7b925a;
+ border-width: 1px 0;
+ margin: 0;
}
.chapter, .appendix, .unnumbered {
font-size: 1.6em;
}
-.subsection, .appendixsubsec {
+.subsection, .appendixsubsec, .unnumberedsubsec {
font-size: 1.4em;
}
}
.chapheading {
- text-indent: -999em;
+ position: absolute;
height: 0;
- padding: 0;
- margin: 0;
+ overflow: hidden;
+ text-indent: -999em;
}
/***********************************************************/
/***********************************************************/
a:link {
- color: #3465a4;
+ color: #0c51ab;
}
a:visited {
- color: #8f5902;
+ color: #804f01;
}
a:active {
- color: #73d216;
+ color: #278800;
}
a:hover {
- color: #ce5c00;
+ color: #0105ad;
}
/***********************************************************/
/* BLOCK FORMATTING */
/***********************************************************/
-blockquote {
+blockquote, .smallexample {
width: 96%;
padding: 0;
- border: 1px solid #7b925a;
- border-left: 5px solid #a3ca6d;
+ border: solid #b1d281;
+ border-width: 1px 1px 1px 5px;
margin: 1em auto;
}
-blockquote p {
+blockquote p, pre.smallexample {
padding: 1em;
margin: 0;
}
border: none;
}
-.verbatim, .example .example, .lisp {
+.verbatim, .example, .lisp {
font-size: 1em;
padding: 1em;
margin: 0;
}
-.example {
- padding: 0;
- margin: 0;
-}
-
#main hr {
height: 0;
padding: 0;
}
table.cartouche {
- background: #f5f5dc; /* beige */
+ background: #f5f5dc;
width: 85%;
+ border-collapse: collapse;
padding: 0 0.5em;
border: 2px solid #8f5902;
margin: 0 auto 1em;
}
#languages {
- background-color: #f5f5dc; /* beige */
padding: 0.5em 1em;
- border-top: 1px solid #7b925a;
margin: 0;
}
padding: 0;
margin: 0;
overflow: auto;
- background-color: #f5f5dc; /* beige */
+ background: #f5f5dc;
z-index: 100;
list-style-type: none;
font-size: 0.83em;
- line-height: 1.4em;
+ line-height: 1.3;
}
@media screen {
}
}
+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;
- font-weight: normal;
- color: #344;
- background-color: #babdb6;
- padding: 2px 0 1px 1em;
- border-bottom: 1px solid #788;
+ line-height: 1.125;
+ font-weight: bold;
+ font-style: italic;
+ padding: 0.75em 0.5em 0 0.5em;
margin: 0;
}
}
#tocframe ul.toc {
- padding: 1em 0.5em;
+ padding: 0.25em 0.5em 1em 0.5em;
list-style-type: none;
margin: 0;
}
.nav_table {
width: 100%;
- background: #babdb6;
- font-size: 0.8em;
+ background: #c9ccc4;
+ font-size: 0.83em;
+ border-collapse: collapse;
padding: 0;
- border: 0;
- border-bottom: 1px solid #788;
+ border: none;
margin: 0;
}
-.nav_table tr, .nav_table td, .nav_table a {
+.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;
div.header h1 {
font-size: 2em;
- line-height: 1em;
padding: 0.25em;
margin: 0;
}
div.subheader {
- background-color: #ddd;
+ background: #ddd;
padding: 0;
margin: 0;
text-align: center;
}
.footer {
- background: #c6e7b0;
+ background: #e5f5ce;
font-size: 0.8em;
- text-indent: 1em;
- border: 0;
- padding: 0.4em 0;
+ padding: 0.2em 0;
+ border: solid #b1d281;
+ border-width: 0 0 5px 0;
margin: 0;
}
+.footer a:link {
+ color: #0308fc;
+}
+
.footer p {
- line-height: 1.5;
- padding: 0;
- margin: 0 0.25em;
+ padding: 0 1.25em;
+ margin: 0.4em 0;
}
table.menu {