*/
/* Common styles */
-.body { text: black; background: white; margin: 0 0 0 0 }
+.body { color: black; background: white; margin: 0 0 0 0 }
+
+/* No borders on image links */
+a:link img, a:visited img {border-style: none}
+
+address img { float: right; width: 88px; height: 31px; }
+address { clear: right; }
/*
* Documentation
*/
/* Common for title and header */
.doc_title, .doc_section, .doc_subsection {
- color: #eeeeff; background: #330077;
+ color: black; background: url("img/lines.gif");
font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold;
- padding-left: 8pt
+ border-width: 1px;
+ border-style: solid none solid none;
+ text-align: center;
+ vertical-align: middle;
+ padding-left: 8pt;
+ padding-top: 1px;
+ padding-bottom: 2px
}
.doc_title { text-align: left; font-size: 25pt }
-.doc_section { text-align: center; font-size: 22pt }
-.doc_subsection { background: #441188; width: 50%;
- text-align: left; font-size: 12pt; padding: 4 4 4 22 }
-.doc_text { text-align: left; padding-left: 20pt }
-
-/* Publications */
-.pub_title { font-family: "Georgia,Palatino,Times,Roman"; font-size: 24pt;
- text-align: center }
-.pub_author { font-size: 14pt; text-align: center }
+.doc_section { text-align: center; font-size: 22pt;
+ margin: 20pt 0pt 5pt 0pt; }
+.doc_subsection { width: 75%;
+ text-align: left; font-size: 12pt; padding: 4pt 4pt 4pt 4pt;
+ margin: 1.5em 0.5em 0.5em 0.5em }
+
+.doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em;
+ font-weight: bold; font-style: oblique;
+ border-bottom: 1px solid #999999; font-size: 12pt;
+ width: 75%; }
+.doc_author { text-align: left; font-weight: bold; padding-left: 20pt }
+.doc_text { text-align: left; padding-left: 20pt }
+
+.doc_footer { text-align: left; padding: 0 0 0 0 }
+
+.doc_red { color: red }
+
+.doc_table { text-align: center; width: 90%;
+ padding: 1px 1px 1px 1px; border: 1px; }
+
+.doc_table_nw { text-align: center; border: 1px;
+ padding: 1px 1px 1px 1px; }
+
+.doc_warning { color: red; font-weight: bold }
+
+.doc_code { border: solid 1px gray; background: #eeeeee;
+ margin: 0 1em 0 1em;
+ padding: 0 1em 0 1em;
+ display:table;
+ }