lilalo

view l3files/l3.css @ 125:078fab45d863

find changesets by author, revision, files, or words in the commit message
full path to l3-frontend removed
author igor@chub.in
date Fri Jul 04 16:12:31 2008 +0300 (2008-07-04)
parents
children
line source
1 h1,h2,h3,h4 {
2 color: #485c9f;
3 padding-top: 10pt;
4 padding-bottom: 0pt;
5 padding-left: 5pt;
6 margin-left: 0pt;
7 font-family: sans-serif;
8 /*border: thin solid gray;*/
9 }
10
11 a {
12 padding-left: 3pt;
13 padding-right: 3pt;
14 text-decoration: none;
15 }
16
17 a:hover {
18 background-color: #eeeecc;
19 }
20
21 body {
22 padding-left: 10pt;
23 font-family: sans-serif;
24 }
25
26 tr.table_header {
27 background-color : #98bcef;
28 font-weight: bold;
29 font-size: 105%;
30 }
31
32 td
33 {
34 padding-left:5pt;
35 padding-right:5pt;
36
37 margin-left:0pt;
38 margin-right:0pt;
39 }
40
41 .toc {
42 border: 1px solid #aaa;
43 background-color: #f9f9f9;
44 padding: 10pt;
45 padding-left: 0pt;
46 padding-right: 15pt;
47 font-size: 95%;
48 }
49
50 .files_toc {
51 padding : 10pt;
52 }
53 .toc_title {
54 font-weight: bold;
55 text-align: center;
56 }
57
58 .cline, .output
59 {
60 margin : 0px 0px 0px 0em;
61 padding : 0px 0px 0px 0px;
62 vertical-align : top;
63 /*display:inline;*/
64 }
65
66 .cline
67 { font-weight : bold; }
68
69 .wrong_cline, .wrong_root_cline,
70 .mistyped_cline, .mistyped_root_cline
71 {
72 /*
73 color : #ee7777;
74 */
75 /* color : #aa5555; */
76 }
77 .wrong_output, .wrong_root_output,
78 .mistyped_output, .mistyped_root_output
79 {
80 /*
81 font-size : 80%;
82 color : #cc6666;
83 */
84 }
85
86 .cblock_mistyped,
87 .cblock_mistyped_root
88 {
89 text-decoration : line-through;
90 }
91
92 .cblock_interrupted > .output,
93 .cblock_interrupted_root > .output
94 {
95 color : #aaaaaa;
96 }
97
98 .cblock_interrupted > .cline
99 .cblock_interrupted_root > .cline
100 {
101 color : #777777;
102 }
103
104
105 .cblock_normal_root,
106 .cblock_wrong_root,
107 .cblock_mistyped_root,
108 .cblock_interrupted_root,
109 .cblock_tab_root
110 {
111 border-left : #ff0000 solid thin;
112 }
113
114 .command {
115 margin : 0pt 0pt 0pt 0pt;
116 padding : 0pt 0pt 0pt 0pt;
117 /*border : thin solid gray;*/
118 }
119
120 .with_hint {
121 background : #f9feff;
122 }
123
124 .without_hint {
125 background : #fff9f9;
126 }
127
128 .note {
129 /*
130 color : black;
131 background : #d8fcff;
132 margin : 12px 12px 12px 12px;
133 padding : 6px 6px 6px 6px;
134 border-style : dashed;
135 border-width : thin;
136 border-color : #a8eaff;
137 vertical-align : top;
138 */
139 color : black;
140 background : #d8f0ff;
141 margin : 2px 12px 12px 12px;
142 padding : 6px 6px 6px 6px;
143 border-style : dotted;
144 border-width : thin;
145 border-color : #687cbf;
146 vertical-align : top;
147 }
148
149 .note_title,.note_text,.note_search
150 {
151 color : black;
152 margin : 0px 0px 0px 0px;
153 padding : 0px 0px 0px 0px;
154 vertical-align : top;
155 }
156 .note_title {
157 font-size : 120%;
158 font-family : sans-serif;
159 padding-top : 2pt;
160 padding-bottom : 2pt;
161 }
162 .note_text {
163 font-family : sans-serif;
164 font-size : 100%;
165 }
166 .note_search { text-align : right; }
167
168
169 .diff {
170 color : black;
171 background : #fdffcd;
172 margin : 16px 16px 16px 16px;
173 padding : 6px 6px 6px 6px;
174 border-style : dashed;
175 border-width : thin;
176 }
177
178 .ttychange {
179 color : #9a9a9a;
180 background : #fafafa;
181 margin : 0em 0px 0pt 0px;
182 padding : 0em 0pt 0em 0pt;
183 vertical-align : top;
184 font-family : monospace;
185 min-width: 5em;
186 position : relative;
187 left : 0em;
188 border-top : thin dotted #cccccc;
189 text-align : right;
190 font-size : 50%;
191 }
192
193 .time {
194 color : #999999;
195 margin : 0px 0px 0px 0px;
196 padding : 2pt 1pt 0px 10pt;
197 vertical-align : top;
198 font-size : 80%;
199 width : 5em;
200 float : left;
201 /* height : 100%; */
202 /* border : thin solid gray; */
203 }
204
205 .cblock,
206 .cblock_normal,
207 .cblock_wrong,
208 .cblock_mistyped,
209 .cblock_interrupted,
210 .cblock_tab,
211 .cblock_normal_root,
212 .cblock_wrong_root,
213 .cblock_mistyped_root,
214 .cblock_interrupted_root,
215 .cblock_tab_root
216 {
217 margin : 0px 0px 0px 0em;
218 padding : 0px 0px 0px 5pt;
219 vertical-align : top;
220 /* border : thin solid blue; */
221 }
222
223 .visibility_form {
224 position : fixed;
225 bottom: 10; right: 10;
226 z-index : 5;
227 color : #9a9a9a;
228 background : #e7e7e7;
229 margin : 0px 0px 0px 0px;
230 padding : 0px 0px 0px 0px;
231 vertical-align : top;
232 font-size : 80%;
233 font-family : sans-serif;
234 }
235 .visibility_form > .header {
236 font-weight: bold;
237 }
238 .visibility_form > .window_controls {
239 position : absolute;
240 right : 1pt;
241 }
242
243 .new_commands_table {
244 padding : 0px 0px 0px 0px;
245 margin : 20px 60px 60px 20px;
246 background-color: #f9f9f9;
247 }
248
249 .new_commands_header {
250 font-weight: bold;
251 background-color: #e9e9e9;
252 }
253
254 .new_commands_caption {
255 font-style: italic;
256 background-color: #ffffff;
257 }
258
259 .err_box {
260 color : white;
261 background : red;
262 font-weight : bold;
263 font-size : 70%;
264 }
265 .filename, .file_navigation {
266 background : #f7f7ba;
267 padding : 1ex;
268 padding-bottom: 1pt;
269 display : inline;
270 }
271
272 .filename {
273 font-weight : bold;
274 margin : 20pt 0pt 0pt 10pt;
275 }
276
277 .file_navigation {
278 font-weight : bold;
279 margin : 20pt 10pt 0pt 0pt;
280 }
281
282 .filedata {
283 padding: 5pt 10pt 5pt 10pt;
284 margin: 0pt 10pt 30pt 10pt;
285 border-left: 2pt;
286 border-right: 2pt;
287 border-bottom: 2pt;
288 border-style: solid;
289 border-color: #f7f7ba;
290 background-color: #fffffa;
291 }
292
293 .time_passed {
294 padding: 1em 5em 1em 5em
295 }
296
297 .much_time_passed {
298 padding: 2em 5em 2em 5em
299 }
300
301 .edit_link {
302 float: right;
303 font-size: 80%;
304 position: relative;
305 bottom: 0;
306 padding-top: 2em;
307 }
308
309 .lined_header {
310 border-bottom: 1pt solid gray;
311 padding: 10pt 0pt 5pt 0pt;
312 margin: 30pt 0pt 20pt 0pt;
313 }
314
315
316 .nav_bar {
317 font-size: 80%;
318 color: #222222;
319 background-color: #eeeeee;
320 }
321
322 /*
323 .nav_bar a {
324 color: #222222;
325 padding-left: 1pt;
326 padding-right: 1pt;
327 }
328 */
329 body {
330 margin:0;
331 padding:0 0 15px 0;
332
333 }
334 .body {
335 margin: 10;
336 padding: 10;
337 }
338
339 .fixed_div {
340 margin-left: 60pt;
341 padding-left: 0pt;
342 }