source: lab.git/DrRacket/advanced_files/scribble.css @ fd38698

vendor
Last change on this file since fd38698 was 6eeb209, checked in by mitty <mitty@…>, 14 years ago

git-svn-id: https://lab.mitty.jp/svn/lab/vendor@70 7d2118f6-f56c-43e7-95a2-4bb3031d96e7

  • Property mode set to 100644
File size: 6.6 KB
Line 
1
2/* CSS seems backward: List all the classes for which we want a
3   particular font, so that the font can be changed in one place.  (It
4   would be nicer to reference a font definition from all the places
5   that we want it.)
6
7   As you read the rest of the file, remember to double-check here to
8   see if any font is set. */
9
10/* Monospace: */
11.maincolumn, .refpara, .tocset, .stt, .hspace {
12  font-family: monospace;
13}
14
15/* Serif: */
16.main, .refcontent, .tocview, .tocsub, i {
17  font-family: serif;
18}
19
20/* Sans-serif: */
21.version, .versionNoNav {
22  font-family: sans-serif;
23}
24
25/* ---------------------------------------- */
26
27p, .SIntrapara {
28  display: block;
29  margin: 1em 0;
30}
31
32h2 { /* per-page main title */
33  margin-top: 0;
34}
35
36h3, h4, h5, h6, h7, h8 {
37  margin-top: 1.75em;
38  margin-bottom: 0.5em;
39}
40
41/* Needed for browsers like Opera, and eventually for HTML 4 conformance.
42   This means that multiple paragraphs in a table element do not have a space
43   between them. */
44table p {
45  margin-top: 0;
46  margin-bottom: 0;
47}
48
49/* ---------------------------------------- */
50/* Main */
51
52body {
53  color: black;
54  background-color: #ffffff;
55}
56
57table td {
58  padding-left: 0;
59  padding-right: 0;
60}
61
62.maincolumn {
63  width: 43em;
64  margin-right: -40em;
65  margin-left: 15em;
66}
67
68.main {
69  text-align: left;
70}
71
72/* ---------------------------------------- */
73/* Navigation */
74
75.navsettop, .navsetbottom {
76  background-color: #f0f0e0;
77  padding: 0.25em 0 0.25em 0;
78}
79
80.navsettop {
81  margin-bottom: 1.5em;
82  border-bottom: 2px solid #e0e0c0;
83}
84
85.navsetbottom {
86  margin-top: 2em;
87  border-top: 2px solid #e0e0c0;
88}
89
90.navleft {
91  margin-left: 1ex;
92  position: relative;
93  float: left;
94  white-space: nowrap;
95}
96.navright {
97  margin-right: 1ex;
98  position: relative;
99  float: right;
100  white-space: nowrap;
101}
102.nonavigation {
103  color: #e0e0e0;
104}
105
106.searchform {
107  display: inline;
108  margin: 0;
109  padding: 0;
110}
111
112.searchbox {
113  width: 16em;
114  margin: 0px;
115  padding: 0px;
116  background-color: #eee;
117  border: 1px solid #ddd;
118  text-align: center;
119  vertical-align: middle;
120}
121
122#contextindicator {
123  position: fixed;
124  background-color: #c6f;
125  color: #000;
126  font-family: monospace;
127  font-weight: bold;
128  padding: 2px 10px;
129  display: none;
130  right: 0;
131  bottom: 0;
132}
133
134/* ---------------------------------------- */
135/* Version */
136
137.versionbox {
138  position: relative;
139  float: right;
140  left: 2em;
141  height: 0em;
142  width: 13em;
143  margin: 0em -13em 0em 0em;
144}
145.version {
146  font-size: small;
147}
148.versionNoNav {
149  font-size: xx-small; /* avoid overlap with author */
150}
151
152/* ---------------------------------------- */
153/* Margin notes */
154
155.refpara, .refelem {
156  position: relative;
157  float: right;
158  left: 2em;
159  height: 0em;
160  width: 13em;
161  margin: 0em -13em 0em 0em;
162}
163
164.refpara {
165  top: -1em;
166}
167
168.refcolumn {
169  background-color: #F5F5DC;
170  display: block;
171  position: relative;
172  width: 13em;
173  font-size: 85%;
174  border: 0.5em solid #F5F5DC;
175  margin: 0 0 0 0;
176}
177
178.refcontent {
179  margin: 0 0 0 0;
180}
181
182.refcontent p {
183  margin-top: 0;
184  margin-bottom: 0;
185}
186
187/* ---------------------------------------- */
188/* Table of contents, inline */
189
190.toclink {
191  text-decoration: none;
192  color: blue;
193  font-size: 85%;
194}
195
196.toptoclink {
197  text-decoration: none;
198  color: blue;
199  font-weight: bold;
200}
201
202/* ---------------------------------------- */
203/* Table of contents, left margin */
204
205.tocset {
206  position: relative;
207  float: left;
208  width: 12.5em;
209  margin-right: 2em;
210}
211.tocset td {
212  vertical-align: text-top;
213}
214
215.tocview {
216  text-align: left;
217  background-color: #f0f0e0;
218}
219
220.tocsub {
221  text-align: left;
222  margin-top: 0.5em;
223  background-color: #f0f0e0;
224}
225
226.tocviewlist, .tocsublist {
227  margin-left: 0.2em;
228  margin-right: 0.2em;
229  padding-top: 0.2em;
230  padding-bottom: 0.2em;
231}
232.tocviewlist table {
233  font-size: 82%;
234}
235
236.tocviewsublist, .tocviewsublistonly, .tocviewsublisttop, .tocviewsublistbottom {
237  margin-left: 0.4em;
238  border-left: 1px solid #bbf;
239  padding-left: 0.8em;
240}
241.tocviewsublist {
242  margin-bottom: 1em;
243}
244.tocviewsublist table,
245.tocviewsublistonly table,
246.tocviewsublisttop table,
247.tocviewsublistbottom table {
248  font-size: 75%;
249}
250
251.tocviewtitle * {
252  font-weight: bold;
253}
254
255.tocviewlink {
256  text-decoration: none;
257  color: blue;
258}
259
260.tocviewselflink {
261  text-decoration: underline;
262  color: blue;
263}
264
265.tocviewtoggle {
266  text-decoration: none;
267  color: blue;
268  font-size: 75%; /* looks better, and avoids bounce when toggling sub-sections due to font alignments */
269}
270
271.tocsublist td {
272  padding-left: 1em;
273  text-indent: -1em;
274}
275
276.tocsublinknumber {
277  font-size: 82%;
278}
279
280.tocsublink {
281  font-size: 82%;
282  text-decoration: none;
283}
284
285.tocsubseclink {
286  font-size: 82%;
287  text-decoration: none;
288}
289
290.tocsubnonseclink {
291  font-size: 82%;
292  text-decoration: none;
293  padding-left: 0.5em;
294}
295
296.tocsubtitle {
297  font-size: 82%;
298  font-style: italic;
299  margin: 0.2em;
300}
301
302.sepspace {
303  font-size: 40%;
304}
305
306.septitle {
307  font-size: 70%;
308}
309
310/* ---------------------------------------- */
311/* Some inline styles */
312
313.indexlink {
314  text-decoration: none;
315}
316
317.nobreak {
318  white-space: nowrap;
319}
320
321.stt {
322}
323
324.title {
325  font-size: 200%;
326  font-weight: normal;
327  margin-top: 2.8em;
328  text-align: center;
329}
330
331pre { margin-left: 2em; }
332blockquote { margin-left: 2em; }
333
334ol          { list-style-type: decimal; }
335ol ol       { list-style-type: lower-alpha; }
336ol ol ol    { list-style-type: lower-roman; }
337ol ol ol ol { list-style-type: upper-alpha; }
338
339i {
340}
341
342.SubFlow {
343  display: block;
344  margin: 0em;
345}
346
347.boxed {
348  width: 100%;
349  background-color: #E8E8FF;
350}
351
352.hspace {
353}
354
355.slant {
356  font-style: oblique;
357}
358
359.badlink {
360  text-decoration: underline;
361  color: red;
362}
363
364.plainlink {
365  text-decoration: none;
366  color: blue;
367}
368
369.techoutside       { text-decoration: underline; color: #b0b0b0; }
370.techoutside:hover { text-decoration: underline; color: blue; }
371
372/* .techinside:hover doesn't work with FF, .techinside:hover>
373   .techinside doesn't work with IE, so use both (and IE doesn't
374   work with inherit in the second one, so use blue directly) */
375.techinside                    { color: black; }
376.techinside:hover              { color: blue; }
377.techoutside:hover>.techinside { color: inherit; }
378
379.SCentered {
380  text-align: center;
381}
382
383.imageleft {
384  float: left;
385  margin-right: 0.3em;
386}
387
388.Smaller{
389  font-size: 82%;
390}
391
392.Larger{
393  font-size: 122%;
394}
395
396/* A hack, inserted to break some Scheme ids: */
397.mywbr {
398  width: 0;
399  font-size: 1px;
400}
401
402.compact li p {
403  margin: 0em;
404  padding: 0em;
405}
406
407.noborder img {
408  border: 0;
409}
410
411.SAuthorListBox {
412  position: relative;
413  float: right;
414  left: 2em;
415  top: -2.5em;
416  height: 0em;
417  width: 13em;
418  margin: 0em -13em 0em 0em;
419}
420.SAuthorList {
421  font-size: 82%;
422}
423.SAuthorList:before {
424  content: "by ";
425}
426.author {
427  display: inline;
428  white-space: nowrap;
429}
Note: See TracBrowser for help on using the repository browser.