}
#head ul {
- display: inline; /* für IE ... */
+ display: inline; /* f�r IE ... */
font-size: 13px;
height: 0px;
margin: 0;
}
div.tabs ul li.level1 a {
- padding-left: 2em;
+ padding-left: 1.5em;
font-size: 90%;
}
background-color: #F0F8F8;
padding: 4px;
}
+
+table.packet {
+ width: 95%;
+ margin: 10pt auto;
+ border: 1px solid #AAAAAA;
+ padding: 2px;
+ border-spacing: 0;
+ white-space: nowrap;
+ text-align: center;
+ table-layout: fixed;
+}
+
+table.packet td,th {
+ border: 2px solid white;
+ background-color: #EEEEEE;
+ padding: 6px 4px;
+}
+
+table.packet th {
+ background-color: white;
+ text-align: left;
+ font-weight: normal;
+ padding: 0px;
+}
table.senf {
width: 95%;
- margin: 0 auto;
+ margin: 10pt auto;
border: 1px solid #AAAAAA;
padding: 2px;
border-spacing: 0;
background-color: #EEEEEE;
padding: 2px 4px;
text-align: left;
+ vertical-align: top;
}
table.senf th {
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;
+}
+
+table.listing {
+ margin: 10pt 0;
+ padding: 0;
+ border-spacing: 0;
+ border: none;
+ font-size: 120%; /* ???????? Why is THIS needed ?? */
+}
+
+table.listing td {
+ text-align: left;
+ vertical-align: top;
+ border: none;
+ padding: 0 0 3pt 0;
+}
+
+table.listing td:first-child {
+ width: 35%;
+}
+
dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
border: 1px solid #CC8888;
padding: 2px 3px;
border-bottom: 1px solid #84b0c7;
}
-p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin {
+p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
+p.implementedin {
color: #666666;
font-size: 75%;
- margin-left: 10em;
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;
}
width: 35%;
}
+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