1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/*
* CLISP implementation notes stylesheets
* Copyright (C) 2001-2008 by Sam Steingold <sds@gnu.org>
* Covered by the GNU GPL <http://www.gnu.org/copyleft/gpl.html>
*/
body { background-color: white; color: black; }
/* reduce the whitespace (see also clisp.css) */
li, td, dd p { margin: 0pt; }
/* mark code with color */
.code, .programlisting, .screen
{ background-color: lightgray; color: darkblue; }
/* mark methods with color - same background as type! */
.method { background-color: lightcyan; color: darkblue; }
/* literal data */
.computeroutput, .returnvalue, .data
{ background-color: lightblue; color: darkred; }
/* bytecode instructions */
.byte { background-color: lightgray; color: darkred; }
/* mark types with color - same background as method! */
.type, .classname, .superclass
{ background-color: lightcyan; color: darkgreen; }
/* mark packages with color */
.package { background-color: lightgreen; color: navy; }
/* mark format strings with color */
.format { background-color: lightgray; color: navy; }
/* no border for images */
img { border-width: 0; }
/* epigraph: flush right, large left margin */
.epigraph { text-align: right; margin-left: 50%; }
/* cmdsynopsis: indent first line */
.cmdsynopsis { text-indent: -40px; margin-left: 40px; }
/* userinput: highlight */
.userinput { background-color: lightgreen; color: darkred; font-weight: bold; }
/* larger headings:
(loop :for i :from 1 :to 6 :do
(format t "h~d { font-size: ~d%; }~%"
i (round (expt 1.1 (- 7 i)) 1d-2))) */
h1 { font-size: 177%; }
h2 { font-size: 161%; }
h3 { font-size: 146%; }
h4 { font-size: 133%; }
h5 { font-size: 121%; }
h6 { font-size: 110%; }
/* necessary when <programlisting> or <screen> is in a centered table cell */
.programlisting, .screen { text-align: left; }
/* platform dependencies */
.plat-dep { background-color: lightcyan; color: darkred; }
.platform { font-weight: bold; }
/* highlight the FAQ questions */
.question { background-color: lightyellow; }
/* term in table */
td span.term, dt span.term { font-weight: bold; }
/* revhistory */
.revnumber { background-color: lightblue; color: darkred; font-weight: bold; }
.revdate { background-color: lightgreen; color: darkred; font-weight: bold; }
/* modules */
.module { background-color: lightyellow; color: darkblue; font-weight: bold; }
/* full width horizontal rulers */
hr { width: 100%; }
|
