padding: 0;
margin: 0;
font-family: Verdana, Arial, Helvetica, sans-serif;
+ font-size: 10pt;
}
#head {
background-color: #EDE497;
}
-#head h1 {
- margin: 0 0 0 100px;
- padding: 6px 0 0 42px;
- height: 33px;
+#title {
+ height: 39px;
background-color: #DECD40;
border-bottom: 1px solid #AF9D00;
+ margin: 0 0 0 100px;
+}
+
+#title2 {
+ padding: 0 0 0 42px;
+ max-width: 62em;
+ margin: 0 10px 0 0;
+}
+
+#head h1 {
+ margin: 0;
+ padding: 6px 0 0 0;
font-size: 22px;
font-weight: bold;
color: white;
text-align: left;
}
-#head h2 {
- margin: 0 0 0 100px;
+#subtitle {
+ margin: 0 10px 0 100px;
padding: 4px 0 0 42px;
height: 18px;
+ max-width: 62em;
background-color: #EDE497;
color: #726921;
+}
+
+#head h2 {
+ margin: 0;
+ padding: 0;
font-size: 13px;
font-weight: normal;
white-space: nowrap;
}
+#head ul {
+ display: inline; /* f�r IE ... */
+ font-size: 13px;
+ height: 0px;
+ margin: 0;
+ padding: 0;
+}
+
+#head li {
+ list-style-type: none;
+ margin: 0 0 0 10px;
+ padding: 0 10px 0 0;
+ float: right;
+ border-right: 1px solid #726921;
+ height: 14px;
+}
+
+#head li:first-child {
+ border-right: none;
+ padding: 0;
+}
+
+#head a {
+ font-weight: normal;
+ color: #726921;
+}
+
+#head a:hover {
+ background-color: #EDE497;
+ text-decoration: underline;
+}
+
+#search {
+ float: right;
+ width: 150px;
+ height: 39px;
+ font-size: 10px;
+ color: #726921;
+}
+
+#search input {
+ display: block;
+ height: 16px;
+ border: 1px solid #AF9D00;
+ width: 100%;
+}
+
+#search form {
+ margin: 0;
+ padding: 0;
+}
+
#content1 {
padding: 0 10px 10px 0;
border-bottom: 1px solid #AF9D00;
}
a.anchor {
- color: inherit;
- background-color: white !important;
+ color: inherit;
+ background-color: white !important;
}
div.tabs {
background-color: #EDE497;
}
+div.tabs ul li.level1 a {
+ padding-left: 1.5em;
+ font-size: 90%;
+}
+
#footer {
clear: both;
padding: 4px 10px 4px 142px;
font-weight: bold;
}
+table.ebnf {
+ margin: 0;
+ padding: 0;
+ border-spacing: 0;
+ border: none;
+ font-size: 120%; /* ???????? Why is THIS needed ?? */
+}
+
+table.ebnf td {
+ text-align: left;
+ border: none;
+ padding: 0;
+}
+
+table.ebnf td:first-child {
+ width: 1%;
+ padding-right: 1ex;
+ font-style: italic;
+}
+
dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
border: 1px solid #CC8888;
padding: 2px 3px;
margin: 4px 8px 4px 2px;
background-color: #FFEEEE;
color: #666666;
- font-size: 9px;
+ font-size: 75%;
overflow: hidden;
}
}
div.bug, div.fixme, div.todo, div.idea {
- padding-left: 10px;
+ padding-left: 10px;
}
div.bug {
- border-left: 10px solid red;
+ border-left: 10px solid red;
}
div.fixme {
- border-left: 10px solid yellow;
+ border-left: 10px solid yellow;
}
div.todo {
- border-left: 10px solid green;
+ border-left: 10px solid green;
}
div.idea {
- border-left: 10px solid #AAAAAA;
+ border-left: 10px solid #AAAAAA;
+}
+
+dl.implementation {
+ color: #666666;
+ font-size: 75%;
+}
+
+p.memtitle {
+ color: #1a41a8;
+ font-weight: bold;
+ margin-right: 14px;
+ border-bottom: 1px solid #84b0c7;
+}
+
+p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
+p.implementedin {
+ color: #666666;
+ font-size: 75%;
+ margin-bottom: .2em;
+ margin-top: .2em;
+}
+
+div.memdoc p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
+p.implementedin {
+ margin-left: 10em;
+ text-indent: -4em;
+}
+
+div.memproto {
+ margin-bottom: .5em;
}
table {
table.glossary {
border: none;
border-spacing: 0;
- margin: 10px 0;
+ margin: 10px 0;
}
table.glossary tr td {
table.members td:first-child {
width: 35%;
-}
\ No newline at end of file
+}
+
+div.toc {
+ width: 25%;
+ margin: 10px 0px;
+}
+
+div.toc ol {
+ padding: 0px;
+ margin: 0pt 0pt 0pt 40px;
+ list-style-type: decimal;
+}
+
+div.toc li {
+ padding: none;
+}
+
+div.toc div {
+ margin: 10px 0px;
+ font-weight: bold;
+ font-size: 120%
+}
+
+/* \f
+ * Local Variables:
+ * indent-tabs-mode: nil
+ * ispell-local-dictionary: "american"
+ * End:
+ */