body {
background-color: white;
color: black;
- font-size: 80%;
+ font-size: 87.5%;
height: 100%;
- line-height: 1.25em;
+ line-height: 1.125;
margin: 0 auto;
padding: 0;
}
.appendix, .appendixsec, .appendixsubsec,
.unnumberedsubsubsec, .subsubheading,
.unnumbered, .subheading {
- border-bottom: 1px dashed black;
+ border-bottom: 1px dashed #bbb;
color: #204a87;
+ margin: 1em 0;
padding-bottom: 0.4em;
- margin-bottom: 1em;
- margin-top: 1em;
}
.settitle {
background-color: #eef;
border-bottom: 1px solid #3465A4;
font-size: 2em;
- margin: 0.25em 0 0 0;
- padding: 0.75em;
- text-align: center;
+ 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;
}
/***********************************************************/
}
a:active {
- color: #73d216;
+ color: #4487D7;
}
/***********************************************************/
/* BLOCK FORMATTING */
/***********************************************************/
-blockquote {
+blockquote, .smallexample {
border: thin solid #3465a4;
border-width: 0 0 0 2px;
margin: 1em 0 1em 3em;
padding: 0;
}
-blockquote p {
+blockquote p, pre.smallexample {
margin: 0;
padding: 1em;
}
blockquote blockquote {
- border: thick red dashed;
+ border: none;
+ /* border: thick red dashed; */
}
-.verbatim, .example .example, .lisp {
- font-size: 1em;
+.verbatim, .example, .lisp {
+ font-size: 1.25em;
margin: 0;
padding: 1em;
}
-.example {
- padding: 0;
- margin: 0;
-}
-
hr {
- height: 0;
- padding: 0;
- border: 0;
- margin: 0;
- text-indent: -999em;
+ display: none;
}
table.cartouche {
background: #eee;
border: 1px solid #3465a4;
- border-width: 1px 0;
+ border-width: 0 0 0 2px;
width: 85%;
padding: 0 0.5em;
- margin: 0 auto;
+ margin: 1em 0 1em 3em;
}
table.cartouche p {
top: 0;
right: 0;
bottom: 0;
- left: 27%;
+ left: 25%;
padding: 0;
margin: 0;
overflow: auto;
margin: 1em 0;
}
+th {
+ text-align: left;
+}
+
#languages {
margin: 0;
padding: 1em;
/***********************************************************/
div#tocframe {
- position: absolute;
- top: 0;
- right: 73%;
- bottom: 0;
- left: 0;
- padding: 0;
+ 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;
- background-color: #f9f9ff;
z-index: 100;
- list-style-type: none;
- font-size: 0.83em;
- line-height: 1.4em;
}
/* position: fixed for savvy browsers */
@media screen {
body > div#tocframe {
- position: fixed
+ position: fixed;
}
}
-/*
-#tocframe a:link, #tocframe a:visited {
- text-decoration: none;
-}
-
-#tocframe a:hover {
- text-decoration: underline;
-}
-*/
-
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;
- color: #344;
- background-color: #eef;
- padding: 2px 0 1px 1em;
- border-bottom: 1px solid #3465A4;
+ height: 26px;
margin: 0;
+ padding: 8px 0 0 6px;
}
#tocframe .contents {
background-color: transparent;
+ border: none;
list-style-type: none;
- padding: 0;
- border: 0;
margin: 0;
+ padding: 0;
}
#tocframe ul.toc {
- padding: 1em 0.5em;
list-style-type: none;
margin: 0;
+ padding: 1em 0.5em;
}
#tocframe ul.toc ul.toc {
- padding: 0;
margin: 0;
+ padding: 0;
}
#tocframe ul.toc li {
- padding: 0;
margin: 0;
+ padding: 0;
}
#tocframe ul.toc > li {
}
li.toc_current {
- font-weight: bold;
font-style: italic;
+ font-weight: bold;
}
li.toc_current ul {
- font-weight: normal;
- font-style: normal;
background: transparent;
+ font-style: normal;
+ font-weight: normal;
}
}
div.header {
- background-color: #be6;
- text-align: center;
- padding: 0.5em;
- margin: 0;
- height: auto;
+ background-color: #dde;
+ margin: 0.75em 0 0 0;
}
div.header h1 {
- padding: 0.5em;
margin: 0;
+ padding: 0.5em 0 0.5em 1em;
}
div.subheader {
- background-color: #ddd;
- padding: 0;
- border-top: 5px solid #899;
- border-bottom: 1px solid #9aa;
+ background-color: #eef;
margin: 0;
- text-align: center;
}
div.subheader p {
- padding: 0.5em;
margin: 0;
+ padding: 1em 0 1em 2em;
}
table#navigation {
line-height: 1.5;
+ margin: 1em 0 1em 3em;
padding: 0;
- margin: 1em auto;
}
table#navigation td {
}
table#navigation ul {
- padding-left: 0.5em;
margin-bottom: 1em;
+ padding-left: 0.5em;
}
table .title {
}
.footer {
- background-color: #fff;
- border: none;
+ 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: 0;
+ margin: 1em 0 0 0;
}
.footer p {
.nav_table { display: none; }
/* Let #main expand to fill the new space */
div#main { position: static; left: 0; }
-}
+}
\ No newline at end of file