1/* Copied from http://bakefile.sourceforge.net/, which appears
2 licensed under the GNU GPL. */
3
4
5/***************************************************************************
6 Basic headers and text:
7 ***************************************************************************/
8
9body
10{
11 font-family: "Nimbus Sans L", sans-serif;
12 background: white;
13 margin: 2em 1em 2em 1em;
14}
15
16h1, h2, h3, h4
17{
18 color: #005aa0;
19}
20
21h1 /* title */
22{
23 font-size: 200%;
24}
25
26h2 /* chapters, appendices, subtitle */
27{
28 font-size: 180%;
29}
30
31/* Extra space between chapters, appendices. */
32div.chapter > div.titlepage h2, div.appendix > div.titlepage h2
33{
34 margin-top: 1.5em;
35}
36
37div.section > div.titlepage h2 /* sections */
38{
39 font-size: 150%;
40 margin-top: 1.5em;
41}
42
43h3 /* subsections */
44{
45 font-size: 125%;
46}
47
48div.simplesect h2
49{
50 font-size: 110%;
51}
52
53div.appendix h3
54{
55 font-size: 150%;
56 margin-top: 1.5em;
57}
58
59div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
60{
61 margin-top: 1.4em;
62 font-size: 125%;
63}
64
65div.refsection h3
66{
67 font-size: 110%;
68}
69
70
71/***************************************************************************
72 Examples:
73 ***************************************************************************/
74
75div.example
76{
77 border: 1px solid #b0b0b0;
78 padding: 6px 6px;
79 margin-left: 1.5em;
80 margin-right: 1.5em;
81 background: #f4f4f8;
82 border-radius: 0.4em;
83 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
84}
85
86div.example p.title
87{
88 margin-top: 0em;
89}
90
91div.example pre
92{
93 box-shadow: none;
94}
95
96
97/***************************************************************************
98 Screen dumps:
99 ***************************************************************************/
100
101pre.screen, pre.programlisting
102{
103 border: 1px solid #b0b0b0;
104 padding: 3px 3px;
105 margin-left: 1.5em;
106 margin-right: 1.5em;
107
108 background: #f4f4f8;
109 font-family: monospace;
110 border-radius: 0.4em;
111 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
112}
113
114div.example pre.programlisting
115{
116 border: 0px;
117 padding: 0 0;
118 margin: 0 0 0 0;
119}
120
121/***************************************************************************
122 Notes, warnings etc:
123 ***************************************************************************/
124
125.note, .warning
126{
127 border: 1px solid #b0b0b0;
128 padding: 3px 3px;
129 margin-left: 1.5em;
130 margin-right: 1.5em;
131 margin-bottom: 1em;
132 padding: 0.3em 0.3em 0.3em 0.3em;
133 background: #fffff5;
134 border-radius: 0.4em;
135 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
136}
137
138div.note, div.warning
139{
140 font-style: italic;
141}
142
143div.note h3, div.warning h3
144{
145 color: red;
146 font-size: 100%;
147 padding-right: 0.5em;
148 display: inline;
149}
150
151div.note p, div.warning p
152{
153 margin-bottom: 0em;
154}
155
156div.note h3 + p, div.warning h3 + p
157{
158 display: inline;
159}
160
161div.note h3
162{
163 color: blue;
164 font-size: 100%;
165}
166
167div.navfooter *
168{
169 font-size: 90%;
170}
171
172
173/***************************************************************************
174 Links colors and highlighting:
175 ***************************************************************************/
176
177a { text-decoration: none; }
178a:hover { text-decoration: underline; }
179a:link { color: #0048b3; }
180a:visited { color: #002a6a; }
181
182
183/***************************************************************************
184 Table of contents:
185 ***************************************************************************/
186
187div.toc
188{
189 font-size: 90%;
190}
191
192div.toc dl
193{
194 margin-top: 0em;
195 margin-bottom: 0em;
196}
197
198
199/***************************************************************************
200 Special elements:
201 ***************************************************************************/
202
203tt, code
204{
205 color: #400000;
206}
207
208.term
209{
210 font-weight: bold;
211
212}
213
214div.variablelist dd p, div.glosslist dd p
215{
216 margin-top: 0em;
217}
218
219div.variablelist dd, div.glosslist dd
220{
221 margin-left: 1.5em;
222}
223
224div.glosslist dt
225{
226 font-style: italic;
227}
228
229.varname
230{
231 color: #400000;
232}
233
234span.command strong
235{
236 font-weight: normal;
237 color: #400000;
238}
239
240div.calloutlist table
241{
242 box-shadow: none;
243}
244
245table
246{
247 border-collapse: collapse;
248 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
249}
250
251table.simplelist
252{
253 text-align: left;
254 color: #005aa0;
255 border: 0;
256 padding: 5px;
257 background: #fffff5;
258 font-weight: normal;
259 font-style: italic;
260 box-shadow: none;
261 margin-bottom: 1em;
262}
263
264div.navheader table, div.navfooter table {
265 box-shadow: none;
266}
267
268div.affiliation
269{
270 font-style: italic;
271}