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 color: #600000;
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/***************************************************************************
123 Notes, warnings etc:
124 ***************************************************************************/
125
126.note, .warning
127{
128 border: 1px solid #b0b0b0;
129 padding: 3px 3px;
130 margin-left: 1.5em;
131 margin-right: 1.5em;
132 margin-bottom: 1em;
133 padding: 0.3em 0.3em 0.3em 0.3em;
134 background: #fffff5;
135 border-radius: 0.4em;
136 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
137}
138
139div.note, div.warning
140{
141 font-style: italic;
142}
143
144div.note h3, div.warning h3
145{
146 color: red;
147 font-size: 100%;
148 padding-right: 0.5em;
149 display: inline;
150}
151
152div.note p, div.warning p
153{
154 margin-bottom: 0em;
155}
156
157div.note h3 + p, div.warning h3 + p
158{
159 display: inline;
160}
161
162div.note h3
163{
164 color: blue;
165 font-size: 100%;
166}
167
168div.navfooter *
169{
170 font-size: 90%;
171}
172
173
174/***************************************************************************
175 Links colors and highlighting:
176 ***************************************************************************/
177
178a { text-decoration: none; }
179a:hover { text-decoration: underline; }
180a:link { color: #0048b3; }
181a:visited { color: #002a6a; }
182
183
184/***************************************************************************
185 Table of contents:
186 ***************************************************************************/
187
188div.toc
189{
190 font-size: 90%;
191}
192
193div.toc dl
194{
195 margin-top: 0em;
196 margin-bottom: 0em;
197}
198
199
200/***************************************************************************
201 Special elements:
202 ***************************************************************************/
203
204tt, code
205{
206 color: #400000;
207}
208
209.term
210{
211 font-weight: bold;
212
213}
214
215div.variablelist dd p, div.glosslist dd p
216{
217 margin-top: 0em;
218}
219
220div.variablelist dd, div.glosslist dd
221{
222 margin-left: 1.5em;
223}
224
225div.glosslist dt
226{
227 font-style: italic;
228}
229
230.varname
231{
232 color: #400000;
233}
234
235span.command strong
236{
237 font-weight: normal;
238 color: #400000;
239}
240
241div.calloutlist table
242{
243 box-shadow: none;
244}
245
246table
247{
248 border-collapse: collapse;
249 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
250}
251
252div.affiliation
253{
254 font-style: italic;
255}