diff options
Diffstat (limited to 'doc/old/style.css')
-rw-r--r-- | doc/old/style.css | 174 |
1 files changed, 174 insertions, 0 deletions
diff --git a/doc/old/style.css b/doc/old/style.css new file mode 100644 index 000000000..e5271197b --- /dev/null +++ b/doc/old/style.css | |||
@@ -0,0 +1,174 @@ | |||
1 | /* This stylesheet is used by manuals and a few older resources. */ | ||
2 | |||
3 | @import url('reset.css'); | ||
4 | |||
5 | |||
6 | /*** PAGE LAYOUT ***/ | ||
7 | |||
8 | html, body { | ||
9 | font-size: 1em; | ||
10 | text-align: left; | ||
11 | text-decoration: none; | ||
12 | } | ||
13 | html { background-color: #e7e7e7; } | ||
14 | |||
15 | body { | ||
16 | max-width: 74.92em; | ||
17 | margin: 0 auto; | ||
18 | padding: .5em 1em 1em 1em; | ||
19 | background-color: white; | ||
20 | border: .1em solid #c0c0c0; | ||
21 | } | ||
22 | |||
23 | |||
24 | /*** BASIC ELEMENTS ***/ | ||
25 | |||
26 | /* Size and positioning */ | ||
27 | |||
28 | p, pre, li, dt, dd, table, code, address { line-height: 1.3em; } | ||
29 | |||
30 | h1 { font-size: 2em; margin: 1em 0 } | ||
31 | h2 { font-size: 1.50em; margin: 1.0em 0 0.87em 0; } | ||
32 | h3 { font-size: 1.30em; margin: 1.0em 0 0.87em 0; } | ||
33 | h4 { font-size: 1.13em; margin: 1.0em 0 0.88em 0; } | ||
34 | h5 { font-size: 1.00em; margin: 1.0em 0 1.00em 0; } | ||
35 | |||
36 | p, pre { margin: 1em 0; } | ||
37 | pre { overflow: auto; padding-bottom: .3em; } | ||
38 | |||
39 | ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; } | ||
40 | hr { margin: 1em 0; } | ||
41 | /* Lists of underlined links are difficult to read. The top margin | ||
42 | gives a little more spacing between entries. */ | ||
43 | ul li { margin: .5em 1em; } | ||
44 | ol li { margin: 1em; } | ||
45 | ol ul li { margin: .5em 1em; } | ||
46 | ul li p, ul ul li { margin-top: .3em; margin-bottom: .3em; } | ||
47 | ul ul, ol ul { margin-top: 0; margin-bottom: 0; } | ||
48 | |||
49 | /* Separate description lists from preceding text */ | ||
50 | dl { margin: 1em 0 0 0; } | ||
51 | /* separate the "term" from subsequent "description" */ | ||
52 | dt { margin: .5em 0; } | ||
53 | /* separate the "description" from subsequent list item | ||
54 | when the final <dd> child is an anonymous box */ | ||
55 | dd { margin: .5em 3% 1em 3%; } | ||
56 | /* separate anonymous box (used to be the first element in <dd>) | ||
57 | from subsequent <p> */ | ||
58 | dd p { margin: .5em 0; } | ||
59 | |||
60 | table { | ||
61 | display: block; overflow: auto; | ||
62 | margin-top: 1.5em; margin-bottom: 1.5em; | ||
63 | } | ||
64 | th { padding: .3em .5em; text-align: center; } | ||
65 | td { padding: .2em .5em; } | ||
66 | |||
67 | address { margin-bottom: 1em; } | ||
68 | caption { margin-bottom: .5em; text-align: center; } | ||
69 | sup { vertical-align: super; } | ||
70 | sub { vertical-align: sub; } | ||
71 | |||
72 | /* Style */ | ||
73 | |||
74 | h1, h2, h3, h4, h5, h6, strong, dt, th { font-weight: bold; } | ||
75 | |||
76 | /* The default color (black) is too dark for large text in | ||
77 | bold font. */ | ||
78 | h1, h2, h3, h4 { color: #333; } | ||
79 | h5, h6, dt { color: #222; } | ||
80 | |||
81 | a[href] { color: #005090; } | ||
82 | a[href]:visited { color: #100070; } | ||
83 | a[href]:active, a[href]:hover { | ||
84 | color: #100070; | ||
85 | text-decoration: none; | ||
86 | } | ||
87 | |||
88 | h1 a[href]:visited, h2 a[href]:visited, h3 a[href]:visited, | ||
89 | h4 a[href]:visited { color: #005090; } | ||
90 | h1 a[href]:hover, h2 a[href]:hover, h3 a[href]:hover, | ||
91 | h4 a[href]:hover { color: #100070; } | ||
92 | |||
93 | ol { list-style: decimal outside;} | ||
94 | ul { list-style: square outside; } | ||
95 | ul ul, ol ul { list-style: circle; } | ||
96 | li { list-style: inherit; } | ||
97 | |||
98 | hr { background-color: #ede6d5; } | ||
99 | table { border: 0; } | ||
100 | |||
101 | abbr,acronym { | ||
102 | border-bottom:1px dotted #000; | ||
103 | text-decoration: none; | ||
104 | cursor:help; | ||
105 | } | ||
106 | del { text-decoration: line-through; } | ||
107 | em { font-style: italic; } | ||
108 | small { font-size: .9em; } | ||
109 | |||
110 | img { max-width: 100%} | ||
111 | |||
112 | |||
113 | /*** SIMPLE CLASSES ***/ | ||
114 | |||
115 | .center, .c { text-align: center; } | ||
116 | .nocenter{ text-align: left; } | ||
117 | |||
118 | .underline { text-decoration: underline; } | ||
119 | .nounderline { text-decoration: none; } | ||
120 | |||
121 | .no-bullet { list-style: none; } | ||
122 | .inline-list li { display: inline } | ||
123 | |||
124 | .netscape4, .no-display { display: none; } | ||
125 | |||
126 | |||
127 | /*** MANUAL PAGES ***/ | ||
128 | |||
129 | /* This makes the very long tables of contents in Gnulib and other | ||
130 | manuals easier to read. */ | ||
131 | .contents ul, .shortcontents ul { font-weight: bold; } | ||
132 | .contents ul ul, .shortcontents ul ul { font-weight: normal; } | ||
133 | .contents ul { list-style: none; } | ||
134 | |||
135 | /* For colored navigation bars (Emacs manual): make the bar extend | ||
136 | across the whole width of the page and give it a decent height. */ | ||
137 | .header, .node { margin: 0 -1em; padding: 0 1em; } | ||
138 | .header p, .node p { line-height: 2em; } | ||
139 | |||
140 | /* For navigation links */ | ||
141 | .node a, .header a { display: inline-block; line-height: 2em; } | ||
142 | .node a:hover, .header a:hover { background: #f2efe4; } | ||
143 | |||
144 | /* Inserts */ | ||
145 | table.cartouche td { padding: 1.5em; } | ||
146 | |||
147 | div.display, div.lisp, div.smalldisplay, | ||
148 | div.smallexample, div.smalllisp { margin-left: 3%; } | ||
149 | |||
150 | div.example { padding: .8em 1.2em .4em; } | ||
151 | pre.example { padding: .8em 1.2em; } | ||
152 | div.example, pre.example { | ||
153 | margin: 1em 0 1em 3% ; | ||
154 | -webkit-border-radius: .3em; | ||
155 | -moz-border-radius: .3em; | ||
156 | border-radius: .3em; | ||
157 | border: 1px solid #d4cbb6; | ||
158 | background-color: #f2efe4; | ||
159 | } | ||
160 | div.example > pre.example { | ||
161 | padding: 0 0 .4em; | ||
162 | margin: 0; | ||
163 | border: none; | ||
164 | } | ||
165 | |||
166 | pre.menu-comment { padding-top: 1.3em; margin: 0; } | ||
167 | |||
168 | |||
169 | /*** FOR WIDE SCREENS ***/ | ||
170 | |||
171 | @media (min-width: 40em) { | ||
172 | body { padding: .5em 3em 1em 3em; } | ||
173 | div.header, div.node { margin: 0 -3em; padding: 0 3em; } | ||
174 | } | ||