2 font-family: sans-serif;
\r
3 background-color: #ffffff;
\r
7 div.abstract p.title,
\r
11 div.example p.title,
\r
13 h1, h2, h3, h4, h5, h6 {
\r
20 font-weight: normal;
\r
24 div.abstract p.title,
\r
29 font-weight: normal;
\r
35 font-weight: normal;
\r
46 div.example p.title,
\r
67 div.abstract p.title b {
\r
68 font-weight: normal;
\r
79 div.toc span.appendix,
\r
80 div.toc span.chapter {
\r
84 div.sect1 table.simplelist {
\r
88 div.sect1 table.simplelist td {
\r
90 vertical-align: top;
\r
93 div.figure div.informaltable table,
\r
94 div.figure table.simplelist,
\r
95 div.figure table.simplelist td {
\r
99 div.figure div.informaltable table td {
\r
100 border-style: none;
\r
103 div.figure div.informaltable table {
\r
104 border-color: #000000;
\r
107 div.example pre.programlisting { /* valid example */
\r
108 background-color: #E0F8E0;
\r
109 border-style: ridge;
\r
114 div.example pre.synopsis { /* legend */
\r
118 div.example pre.screen { /* invalid example */
\r
119 background-color: #F8E0E0;
\r
120 border-style: ridge;
\r
125 table.productionset { /* productions */
\r
126 background-color: #E0F8F8;
\r
127 border-style: ridge;
\r
131 table.productionset table.productionset {
\r
132 border-style: none;
\r
136 td.productioncounter {
\r
137 font-family: monospace;
\r
139 padding-right: 0.5em;
\r
143 font-family: monospace;
\r
145 white-space: nowrap;
\r
148 td.productionseperator {
\r
149 font-family: monospace;
\r
151 padding-left: 0.5em;
\r
152 padding-right: 0.5em;
\r
156 font-family: monospace;
\r
158 white-space: nowrap;
\r
162 div.variablelist dt {
\r
172 tt.filename { /* hl1 */
\r
173 font-family: monospace;
\r
174 background-color: #F8F8E0;
\r
175 border-color: #000000;
\r
176 border-style: solid;
\r
182 tt.literal { /* hl2 */
\r
183 font-family: monospace;
\r
184 background-color: #E0E0F8;
\r
185 border-color: #000000;
\r
186 border-style: solid;
\r
191 span.property { /* hl3 */
\r
192 font-family: monospace;
\r
193 background-color: #F8E0F8;
\r
194 border-color: #000000;
\r
195 border-style: solid;
\r
201 tt.constant { /* hl4 */
\r
202 font-family: monospace;
\r
203 background-color: #E0F8F8;
\r
204 border-color: #000000;
\r
205 border-style: solid;
\r
210 span.honorific > code.filename,
\r
211 span.honorific > tt.filename {
\r
212 padding: 4px 1px 4px 1px;
\r
216 span.honorific > code.constant,
\r
217 span.honorific > tt.constant {
\r
218 padding: 4px 1px 4px 1px;
\r
222 span.honorific > span.property {
\r
223 padding: 4px 1px 4px 1px;
\r
227 span.honorific > code.literal,
\r
228 span.honorific > tt.literal {
\r
229 padding: 4px 1px 4px 1px;
\r
234 font-style: italic;
\r