/***********************************************************/
/* 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;
- color: #1d7b85;
}
-.unnumberedsubsubsec {
+.unnumberedsubsubsec, .subsubheading {
font-size: large;
- color: #1d7b85;
-}
-.subsubheading {
- font-size: large;
- color: #3b220d;
}
/***********************************************************/
/* LINKS */
/***********************************************************/
-a {
- color: #344242;
-}
-a:visited {
- color: #666666;
-}
-a:active {
- color: #00cccc;
-}
-a:hover {
- color: #1d7b85;
- text-decoration:underline;
-}
+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;
+ border: 1px solid #CCCCCC;
padding: 3px;
width: 40em;
}
-.verbatim {
+.verbatim, .example, .smallexample {
font-family: "Courier New",Courier,monospace;
}
hr {
background-color: #666666;
}
table.cartouche {
- border: 2px dotted #cccccc;
+ border: 2px dotted #CCCCCC;
margin-left: auto;
margin-right: auto;
width: 85%;
}
/***********************************************************/
-/* TOC */
+/* MAIN CONTENT */
/***********************************************************/
-.contents {
- border: 1px dashed #339999;
- margin: 3px 2em;
- list-style-type: square;
- padding-right: 1em;
- width: 40em;
- background-color: #fcfff9;
+
+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 */
/***********************************************************/
-body {
- padding-left: 27%; /* To create space for the sidebar! */
-}
-div#main {
-}
+
div#tocframe {
-/* position: fixed; */
position: absolute;
top: 0;
+ right: 73%;
+ bottom: 0;
left: 0;
- margin: 0em;
padding: 5px;
- width: 25%;
- height: 100%;
+ padding-bottom: 0;
+ margin: 0;
overflow: auto;
- background-color: #FFFACD;
+ background-color: #E7EFE3;
z-index:100;
list-style-type: none;
-
-/* float: left; */
-/* clear: both; */
}
-@media screen
- {
- body>div#tocframe
- {
- position: fixed;
+@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;
/***********************************************************/
/* 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: 98%;
- background-color: #CCCCCC;
+ width: 100%;
+ background-color: #CCD3CC;
border: 0;
+ margin-top: 4px;
left: auto;
right: auto;
- font-size: 10pt;
+ font-size: 0.8em;
}
+.title {
+ font-weight: bold;
+}
-
+.footer {
+ background-color: #E7EFE3;
+ padding: 5px;
+ border: #CCD3CC 1px solid;
+ font-size: 80%;
+}
/***********************************************************/
-/* OVERRIDES FOR PRINTING... */
+/* OVERRIDES FOR PRINTING */
/***********************************************************/
@media print {
/* Hide the sidebar: */
body { padding-left: 0; }
#tocframe { display: none; }
.nav_table { display: none; }
-}
\ No newline at end of file
+}