reviser 0.0.1.1.pre.beta → 0.0.2.rc1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/Gemfile +18 -0
- data/README.md +46 -0
- data/ext/valgrind.rb +21 -18
- data/ext/web_validators.rb +132 -0
- data/lang/HTML.yml +2 -14
- data/lib/component.rb +41 -39
- data/lib/components/archiver.rb +105 -101
- data/lib/components/checker.rb +46 -52
- data/lib/components/extractors.rb +121 -120
- data/lib/components/generator.rb +40 -37
- data/lib/components/generators.rb +113 -109
- data/lib/components/organiser.rb +165 -153
- data/lib/config.rb +53 -35
- data/lib/criteria/code_analysis.rb +54 -0
- data/lib/criteria/compilation.rb +42 -0
- data/lib/criteria/execution.rb +78 -0
- data/lib/exec.rb +109 -94
- data/lib/helpers/criteria.rb +152 -154
- data/lib/helpers/git.rb +23 -21
- data/lib/helpers/project.rb +198 -19
- data/lib/helpers/system.rb +50 -39
- data/lib/loggers/logger.rb +39 -30
- data/lib/loggers/modes.rb +118 -54
- data/lib/reviser.rb +63 -41
- data/res/css/style_logs.css +166 -0
- data/res/css/web_validators/css-base.css +733 -0
- data/res/css/web_validators/css-results.css +257 -0
- data/res/css/web_validators/html-base.css +746 -0
- data/res/css/web_validators/html-results.css +489 -0
- data/res/labys/labfich11.txt +19 -0
- data/res/labys/test.txt +3 -0
- data/res/labys/yoda.txt +19 -0
- data/res/scss/style_logs.scss +134 -0
- data/type/JavaProject.yml +18 -0
- data/type/Pendu.yml +22 -0
- data/type/Web.yml +23 -0
- metadata +144 -10
- data/ext/html_validator.rb +0 -21
- data/lib/helpers/code_analysis.rb +0 -64
- data/lib/helpers/compilation.rb +0 -40
- data/lib/helpers/execution.rb +0 -83
- data/lib/project.rb +0 -155
|
@@ -0,0 +1,733 @@
|
|
|
1
|
+
/* @group Reset */
|
|
2
|
+
|
|
3
|
+
html, body, form, fieldset, p, a, ul, ol, li, div, legend, label,
|
|
4
|
+
br, input, button, textarea, h1, h2, h3, h4, h5, strong {
|
|
5
|
+
margin: 0;
|
|
6
|
+
padding: 0;
|
|
7
|
+
border: 0;
|
|
8
|
+
font-weight: normal;
|
|
9
|
+
font-style: normal;
|
|
10
|
+
font-size: 100%;
|
|
11
|
+
font-family: Helvetica, Arial, Sans-Serif;
|
|
12
|
+
vertical-align: baseline;
|
|
13
|
+
background-color: white;
|
|
14
|
+
color: #1f2126;
|
|
15
|
+
line-height: 1;
|
|
16
|
+
text-align: left;
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
a img {
|
|
20
|
+
border: 0;
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
a:link, a:visited {
|
|
24
|
+
text-decoration: underline;
|
|
25
|
+
color: #365D95;
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
a:hover, a:active {
|
|
29
|
+
text-decoration: underline;
|
|
30
|
+
color: #1f2126;
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
ul, ol {
|
|
34
|
+
list-style: none;
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
abbr[title], acronym[title], span[title], strong[title] {
|
|
38
|
+
border-bottom: thin dotted;
|
|
39
|
+
cursor: help;
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
acronym:hover, abbr:hover {
|
|
43
|
+
cursor: help;
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
/* @end */
|
|
47
|
+
|
|
48
|
+
/* @group Basics */
|
|
49
|
+
|
|
50
|
+
body {
|
|
51
|
+
padding-bottom: 6em;
|
|
52
|
+
min-width: 40em; /* for the tabs, mostly */
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
p {
|
|
56
|
+
line-height: 130%;
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
strong {
|
|
60
|
+
font-weight: bold;
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
h2 {
|
|
64
|
+
color: #690;
|
|
65
|
+
font-family:Verdana,Arial,sans-serif;
|
|
66
|
+
background-color: white;
|
|
67
|
+
font-size: 1.3em;
|
|
68
|
+
margin-bottom: 1em;
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
h3 {
|
|
72
|
+
font-family:Verdana,Arial,sans-serif;
|
|
73
|
+
color: #690;
|
|
74
|
+
background-color: white;
|
|
75
|
+
font-size: 1.1em;
|
|
76
|
+
border-bottom: 1px dotted #aaaa77;
|
|
77
|
+
text-decoration: none;
|
|
78
|
+
margin-top: 1em;
|
|
79
|
+
margin-bottom: 1em;
|
|
80
|
+
}
|
|
81
|
+
|
|
82
|
+
h4 {
|
|
83
|
+
font-family:Verdana,Arial,sans-serif;
|
|
84
|
+
color: #690;
|
|
85
|
+
font-style: italic;
|
|
86
|
+
text-decoration: none;
|
|
87
|
+
font-size: .9em;
|
|
88
|
+
font-weight:600;
|
|
89
|
+
margin-top: 1.5em;
|
|
90
|
+
margin-bottom: .5em;
|
|
91
|
+
}
|
|
92
|
+
|
|
93
|
+
h5,h6 {
|
|
94
|
+
font-family:Verdana,Arial,sans-serif;
|
|
95
|
+
color: #11111a;
|
|
96
|
+
background-color: white;
|
|
97
|
+
font-weight: normal;
|
|
98
|
+
font-size: small;
|
|
99
|
+
margin-top: 1em;
|
|
100
|
+
margin-left: 1em;
|
|
101
|
+
margin-bottom: .7em;
|
|
102
|
+
}
|
|
103
|
+
|
|
104
|
+
/* tables in the documentation */
|
|
105
|
+
|
|
106
|
+
table {
|
|
107
|
+
}
|
|
108
|
+
td, th{
|
|
109
|
+
padding: 6px;
|
|
110
|
+
}
|
|
111
|
+
|
|
112
|
+
/* @end */
|
|
113
|
+
|
|
114
|
+
|
|
115
|
+
/* @group Inputs */
|
|
116
|
+
|
|
117
|
+
input#uri, input#file, input#uploaded_file, input#keywords, input#short_desc, textarea {
|
|
118
|
+
font-family: Monaco, "Courier New", Monospace;
|
|
119
|
+
font-size: 0.9em;
|
|
120
|
+
border: 1px solid #bbb;
|
|
121
|
+
border-top: 1px solid #777;
|
|
122
|
+
border-bottom: 1px solid #ddd;
|
|
123
|
+
background: #fefefe url(../images/textbg.png) no-repeat top left;
|
|
124
|
+
padding: 0.2em 0.2em;
|
|
125
|
+
max-width: 1000px;
|
|
126
|
+
font-variant: normal;
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
input#uri, input#file, input#uploaded_file {
|
|
130
|
+
width: 85%;
|
|
131
|
+
margin: 0.3em 0 0 1em;
|
|
132
|
+
}
|
|
133
|
+
|
|
134
|
+
input#file, input#uploaded_file {
|
|
135
|
+
width: 30em;
|
|
136
|
+
}
|
|
137
|
+
|
|
138
|
+
input#mailsearch, input#bugsearch {
|
|
139
|
+
background-color: #EAEBEE;
|
|
140
|
+
color: #365D95;
|
|
141
|
+
padding: .3em 1em;
|
|
142
|
+
border: 1px outset #ccc;
|
|
143
|
+
}
|
|
144
|
+
input#mailsearch:active, input#bugsearch:active {
|
|
145
|
+
border-style: inset !important;
|
|
146
|
+
}
|
|
147
|
+
a.submit {
|
|
148
|
+
display: block;
|
|
149
|
+
width: 10em;
|
|
150
|
+
text-align: center;
|
|
151
|
+
margin: 0 auto;
|
|
152
|
+
background: url(../images/button-left.png) no-repeat center left;
|
|
153
|
+
text-decoration: none;
|
|
154
|
+
}
|
|
155
|
+
|
|
156
|
+
a.submit span {
|
|
157
|
+
display: block;
|
|
158
|
+
padding: 1.2em 2em;
|
|
159
|
+
background: url(../images/button-right.png) no-repeat center right;
|
|
160
|
+
}
|
|
161
|
+
|
|
162
|
+
textarea {
|
|
163
|
+
width: 98.5%;
|
|
164
|
+
}
|
|
165
|
+
|
|
166
|
+
p.submit_button input {
|
|
167
|
+
overflow: visible;
|
|
168
|
+
width: auto;
|
|
169
|
+
background: #fff;
|
|
170
|
+
color: #365D95;
|
|
171
|
+
padding: 0.3em 0.4em 0.1em 0.3em;
|
|
172
|
+
font-size: 1.2em;
|
|
173
|
+
width: 12em;
|
|
174
|
+
text-align: center;
|
|
175
|
+
border-bottom: 2px solid #444;
|
|
176
|
+
border-right: 2px solid #444;
|
|
177
|
+
border-top: 1px solid #aaa;
|
|
178
|
+
border-left: 1px solid #aaa;
|
|
179
|
+
background: #eee url(../images/grad.png) repeat-x top left;
|
|
180
|
+
cursor: pointer;
|
|
181
|
+
}
|
|
182
|
+
|
|
183
|
+
p.submit_button input:active {
|
|
184
|
+
color: #1f2126;
|
|
185
|
+
border-bottom: 1px solid #aaa;
|
|
186
|
+
border-right: 1px solid #aaa;
|
|
187
|
+
border-top: 2px solid #444;
|
|
188
|
+
border-left: 2px solid #444;
|
|
189
|
+
}
|
|
190
|
+
|
|
191
|
+
label {
|
|
192
|
+
font-size: 0.9em;
|
|
193
|
+
padding-left: .2em;
|
|
194
|
+
padding-right: .2em;
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
div.options select {
|
|
198
|
+
margin-right: 0.8em;
|
|
199
|
+
}
|
|
200
|
+
|
|
201
|
+
div.options label {
|
|
202
|
+
margin: 1em 0.3em 0 0;
|
|
203
|
+
background-color: #EAEBEE;
|
|
204
|
+
}
|
|
205
|
+
|
|
206
|
+
|
|
207
|
+
div.options table, div.options tbody, div.options td, div.options th, div.options tr {
|
|
208
|
+
margin: 0;
|
|
209
|
+
padding: 0;
|
|
210
|
+
}
|
|
211
|
+
|
|
212
|
+
div.options table {
|
|
213
|
+
border-collapse: collapse;
|
|
214
|
+
}
|
|
215
|
+
|
|
216
|
+
div.options th, div.options th label {
|
|
217
|
+
font-weight: bold;
|
|
218
|
+
}
|
|
219
|
+
|
|
220
|
+
div.options td, div.options th {
|
|
221
|
+
padding: 0.5em 1.1em 0.5em 0;
|
|
222
|
+
text-align: left;
|
|
223
|
+
}
|
|
224
|
+
|
|
225
|
+
div.options td input {
|
|
226
|
+
margin-right: 0.2em;
|
|
227
|
+
}
|
|
228
|
+
|
|
229
|
+
div.options select {
|
|
230
|
+
width: 12em;
|
|
231
|
+
}
|
|
232
|
+
|
|
233
|
+
div.options table tr.subchoice th {
|
|
234
|
+
padding-left: 3em;
|
|
235
|
+
}
|
|
236
|
+
tr.subchoice th label {
|
|
237
|
+
padding-left: 0;
|
|
238
|
+
}
|
|
239
|
+
tr.subchoice th, tr.subchoice th label {
|
|
240
|
+
font-size: 1em;
|
|
241
|
+
font-weight: normal;
|
|
242
|
+
}
|
|
243
|
+
/* @end */
|
|
244
|
+
|
|
245
|
+
/* @group Header */
|
|
246
|
+
|
|
247
|
+
h1#title {
|
|
248
|
+
font-family: "Myriad Web", "Myriad Pro", "Gill Sans", Helvetica, Arial, Sans-Serif;
|
|
249
|
+
background-color: #365D95;
|
|
250
|
+
color: #fdfdfd;
|
|
251
|
+
font-size: 1.6em;
|
|
252
|
+
background: url(../images/head-bl.png) bottom left no-repeat;
|
|
253
|
+
padding-bottom: 0.430em;
|
|
254
|
+
}
|
|
255
|
+
h1#title a, h1#title a img {
|
|
256
|
+
background-color: #365D95;
|
|
257
|
+
}
|
|
258
|
+
|
|
259
|
+
h1 span {
|
|
260
|
+
border-bottom: 1px solid #6383b1;
|
|
261
|
+
border-color: #4e6f9e;
|
|
262
|
+
}
|
|
263
|
+
|
|
264
|
+
h1#title a:link, h1#title a:hover, h1#title a:visited, h1#title a:active {
|
|
265
|
+
color: #fdfdfd !important;
|
|
266
|
+
text-decoration: none;
|
|
267
|
+
}
|
|
268
|
+
|
|
269
|
+
h1#title img {
|
|
270
|
+
vertical-align: middle;
|
|
271
|
+
margin-right: 0.7em;
|
|
272
|
+
}
|
|
273
|
+
|
|
274
|
+
div#banner {
|
|
275
|
+
background: #365D95 url(../images/head-br.png) bottom right no-repeat;
|
|
276
|
+
margin: 1.5em 2em;
|
|
277
|
+
}
|
|
278
|
+
|
|
279
|
+
p#tagline {
|
|
280
|
+
font-size: 0.7em;
|
|
281
|
+
margin: -2em 0 0 12.1em;
|
|
282
|
+
padding-bottom: 1em;
|
|
283
|
+
letter-spacing: 0.1em;
|
|
284
|
+
line-height: 100% !important;
|
|
285
|
+
color: #D0DCEE;
|
|
286
|
+
background-color: transparent;
|
|
287
|
+
}
|
|
288
|
+
|
|
289
|
+
ul#lang_choice {
|
|
290
|
+
position: absolute;
|
|
291
|
+
text-align: right;
|
|
292
|
+
top: 0;
|
|
293
|
+
right: 0;
|
|
294
|
+
font-size: 0.7em;
|
|
295
|
+
padding: 0.5em 0;
|
|
296
|
+
line-height: 100%;
|
|
297
|
+
margin-right: 3.3em;
|
|
298
|
+
min-width: 40em;
|
|
299
|
+
background-color: transparent;
|
|
300
|
+
}
|
|
301
|
+
|
|
302
|
+
ul#lang_choice a:link, ul#lang_choice a:visited {
|
|
303
|
+
text-decoration: none;
|
|
304
|
+
}
|
|
305
|
+
|
|
306
|
+
ul#lang_choice a:hover, ul#lang_choice a:active {
|
|
307
|
+
text-decoration: underline;
|
|
308
|
+
}
|
|
309
|
+
|
|
310
|
+
ul#lang_choice li {
|
|
311
|
+
display: inline;
|
|
312
|
+
padding-left: 0.5em;
|
|
313
|
+
}
|
|
314
|
+
|
|
315
|
+
/* @end */
|
|
316
|
+
|
|
317
|
+
/* @group Tabs */
|
|
318
|
+
|
|
319
|
+
ul#tabset_tabs {
|
|
320
|
+
height: 1.59em;
|
|
321
|
+
}
|
|
322
|
+
|
|
323
|
+
ul#tabset_tabs li {
|
|
324
|
+
cursor: pointer;
|
|
325
|
+
float: left;
|
|
326
|
+
margin-right: 0.245em;
|
|
327
|
+
background: #DADDE3 url(../images/tab-tl.png) no-repeat top left;
|
|
328
|
+
border-bottom: 1px solid #CBD0DB;
|
|
329
|
+
}
|
|
330
|
+
|
|
331
|
+
ul#tabset_tabs li.selected {
|
|
332
|
+
background: #EAEBEE url(../images/round-tl.png) no-repeat top left;
|
|
333
|
+
border-bottom: 1px solid #EAEBEE;
|
|
334
|
+
}
|
|
335
|
+
|
|
336
|
+
ul#tabset_tabs li.selected a:link, ul#tabset_tabs li.selected a:visited {
|
|
337
|
+
color: #1f2126;
|
|
338
|
+
background: #EAEBEE url(../images/round-tr.png) no-repeat top right;
|
|
339
|
+
}
|
|
340
|
+
|
|
341
|
+
ul#tabset_tabs li span {
|
|
342
|
+
color: #616571;
|
|
343
|
+
}
|
|
344
|
+
|
|
345
|
+
body ul#tabset_tabs li.selected a span {
|
|
346
|
+
color: #3d424f;
|
|
347
|
+
}
|
|
348
|
+
|
|
349
|
+
ul#tabset_tabs li a:link, ul#tabset_tabs li a:visited {
|
|
350
|
+
color: #365D95;
|
|
351
|
+
display: block;
|
|
352
|
+
padding: 0.515em 1.3em 0.215em 0.8em;
|
|
353
|
+
background: #DADDE3 url(../images/tab-tr.png) no-repeat top right;
|
|
354
|
+
margin-left: 0.5em;
|
|
355
|
+
font-size: 0.9em;
|
|
356
|
+
font-weight: bold;
|
|
357
|
+
text-decoration: none;
|
|
358
|
+
}
|
|
359
|
+
|
|
360
|
+
ul#tabset_tabs li a:hover, ul#tabset_tabs li a:active {
|
|
361
|
+
color: #1f2126;
|
|
362
|
+
}
|
|
363
|
+
|
|
364
|
+
ul#tabset_tabs li a:hover span, ul#tabset_tabs li a:active span {
|
|
365
|
+
color: #3d424f;
|
|
366
|
+
}
|
|
367
|
+
|
|
368
|
+
ul#tabset_tabs li.selected span {
|
|
369
|
+
color: #5d6371;
|
|
370
|
+
}
|
|
371
|
+
|
|
372
|
+
/* @end */
|
|
373
|
+
|
|
374
|
+
/* @group Contents */
|
|
375
|
+
|
|
376
|
+
div#frontforms {
|
|
377
|
+
background: #fff;
|
|
378
|
+
padding: 0 2em;
|
|
379
|
+
}
|
|
380
|
+
|
|
381
|
+
div#fields {
|
|
382
|
+
clear: both;
|
|
383
|
+
background: #EAEBEE url(../images/round-tr.png) no-repeat top right;
|
|
384
|
+
padding: 0.5em 1.3em;
|
|
385
|
+
border-bottom: 1px solid #DCDDE0;
|
|
386
|
+
}
|
|
387
|
+
|
|
388
|
+
div#fields legend, div#fields p, div#fields fieldset, div#fields form,div#fields form fieldset legend a, div#fields form p label, div#fields tr label {
|
|
389
|
+
background-color: #EAEBEE;
|
|
390
|
+
}
|
|
391
|
+
|
|
392
|
+
fieldset {
|
|
393
|
+
background: #EAEBEE;
|
|
394
|
+
}
|
|
395
|
+
|
|
396
|
+
legend {
|
|
397
|
+
font-size: 1.1em;
|
|
398
|
+
padding: 1em 0 0.23em;
|
|
399
|
+
letter-spacing: 0.06em;
|
|
400
|
+
}
|
|
401
|
+
|
|
402
|
+
legend a:link, legend a:visited, legend a:hover, legend a:active {
|
|
403
|
+
text-decoration: none;
|
|
404
|
+
}
|
|
405
|
+
|
|
406
|
+
legend.toggletext {
|
|
407
|
+
cursor: pointer;
|
|
408
|
+
padding-left: 0.8em;
|
|
409
|
+
background: #EAEBEE url(../images/arrow-closed.png) 0 1.2em no-repeat;
|
|
410
|
+
}
|
|
411
|
+
|
|
412
|
+
legend.toggled {
|
|
413
|
+
background: #EAEBEE url(../images/arrow-open.png) 0 1.4em no-repeat;
|
|
414
|
+
}
|
|
415
|
+
|
|
416
|
+
p.instructions {
|
|
417
|
+
color: #4D525E;
|
|
418
|
+
font-size: 0.80em;
|
|
419
|
+
padding-bottom: 1em;
|
|
420
|
+
padding-top: 0.5em;
|
|
421
|
+
}
|
|
422
|
+
|
|
423
|
+
p.instructions label {
|
|
424
|
+
color: #4D525E;
|
|
425
|
+
padding: 0;
|
|
426
|
+
margin: 0;
|
|
427
|
+
font-size: 1em;
|
|
428
|
+
}
|
|
429
|
+
|
|
430
|
+
div.options {
|
|
431
|
+
padding: 0.7em 0 0.5em 1em;
|
|
432
|
+
}
|
|
433
|
+
|
|
434
|
+
div.options, p.submit_button, p.instructions, p#note {
|
|
435
|
+
border-top: 1px solid #cbcdd5;
|
|
436
|
+
background: #EAEBEE url(../images/double.png) left top repeat-x;
|
|
437
|
+
}
|
|
438
|
+
|
|
439
|
+
p.submit_button {
|
|
440
|
+
padding: 0.6em 0 0;
|
|
441
|
+
margin: 0;
|
|
442
|
+
text-align: center;
|
|
443
|
+
}
|
|
444
|
+
|
|
445
|
+
|
|
446
|
+
p#note {
|
|
447
|
+
clear: both;
|
|
448
|
+
color: #4D525E;
|
|
449
|
+
font-size: 0.9em;
|
|
450
|
+
padding: 0.5em 0 0.1em;
|
|
451
|
+
}
|
|
452
|
+
|
|
453
|
+
/* @end */
|
|
454
|
+
|
|
455
|
+
/* @group Menu */
|
|
456
|
+
|
|
457
|
+
ul#menu {
|
|
458
|
+
text-align: center;
|
|
459
|
+
margin: 1em 2em;
|
|
460
|
+
background: #EAEBEE url(../images/round-br.png) no-repeat bottom right;
|
|
461
|
+
padding: 0.5em 0 0.3em;
|
|
462
|
+
border-top: 1px solid #DCDDE0;
|
|
463
|
+
}
|
|
464
|
+
|
|
465
|
+
ul#menu span {
|
|
466
|
+
display: none;
|
|
467
|
+
}
|
|
468
|
+
|
|
469
|
+
ul#menu a:link, ul#menu a:visited {
|
|
470
|
+
background: #EAEBEE;
|
|
471
|
+
color: #365D95;
|
|
472
|
+
text-decoration: none;
|
|
473
|
+
}
|
|
474
|
+
|
|
475
|
+
ul#menu a:hover, ul#menu a:active {
|
|
476
|
+
color: #1f2126;
|
|
477
|
+
text-decoration: underline;
|
|
478
|
+
}
|
|
479
|
+
|
|
480
|
+
ul#menu li {
|
|
481
|
+
display: inline;
|
|
482
|
+
margin-right: 0.8em;
|
|
483
|
+
background: #EAEBEE; }
|
|
484
|
+
|
|
485
|
+
|
|
486
|
+
|
|
487
|
+
/* @end */
|
|
488
|
+
|
|
489
|
+
/* @group Footer */
|
|
490
|
+
|
|
491
|
+
div#footer {
|
|
492
|
+
padding: 0 2em;
|
|
493
|
+
}
|
|
494
|
+
|
|
495
|
+
p#activity_logos {
|
|
496
|
+
float: left;
|
|
497
|
+
margin-right: 2em;
|
|
498
|
+
}
|
|
499
|
+
|
|
500
|
+
p#support_logo {
|
|
501
|
+
float: right;
|
|
502
|
+
font-size: 0.8em;
|
|
503
|
+
text-align: center;
|
|
504
|
+
margin-left: 2em;
|
|
505
|
+
}
|
|
506
|
+
|
|
507
|
+
p.copyright {
|
|
508
|
+
text-align: center;
|
|
509
|
+
text-transform: uppercase;
|
|
510
|
+
font-size: 0.7em;
|
|
511
|
+
line-height: 1.4;
|
|
512
|
+
}
|
|
513
|
+
|
|
514
|
+
p.copyright, p.copyright a {
|
|
515
|
+
text-decoration: none;
|
|
516
|
+
color: #7C8395;
|
|
517
|
+
}
|
|
518
|
+
|
|
519
|
+
p.copyright a:link, p.copyright a:visited {
|
|
520
|
+
color: #A3756E;
|
|
521
|
+
}
|
|
522
|
+
|
|
523
|
+
p.copyright a:hover, p.copyright a:active {
|
|
524
|
+
color: #7D4A42;
|
|
525
|
+
}
|
|
526
|
+
|
|
527
|
+
p#version_info {
|
|
528
|
+
font-size: small;
|
|
529
|
+
text-align: center;
|
|
530
|
+
color: #888;
|
|
531
|
+
background-color: white;
|
|
532
|
+
}
|
|
533
|
+
|
|
534
|
+
/* @end */
|
|
535
|
+
|
|
536
|
+
/* @group Docs */
|
|
537
|
+
|
|
538
|
+
div.doc {
|
|
539
|
+
margin: 1em 2em;
|
|
540
|
+
padding: 0.5em 0 0.3em;
|
|
541
|
+
}
|
|
542
|
+
|
|
543
|
+
|
|
544
|
+
/* Set line height to 1.4x (from 1.3x on general site) to allow for various inline decoration. */
|
|
545
|
+
div.doc p, div.doc li {
|
|
546
|
+
line-height: 150% !important;
|
|
547
|
+
}
|
|
548
|
+
div.doc p {
|
|
549
|
+
margin-bottom: .7em;
|
|
550
|
+
margin-top: .5em;
|
|
551
|
+
}
|
|
552
|
+
|
|
553
|
+
div.doc p, div.doc dt, div.doc ul, div.doc ol {
|
|
554
|
+
margin-left: 1.5em;
|
|
555
|
+
margin-right: 1.5em;
|
|
556
|
+
}
|
|
557
|
+
|
|
558
|
+
div.doc ul li {
|
|
559
|
+
list-style-type: disc;
|
|
560
|
+
margin-left: 1em;
|
|
561
|
+
}
|
|
562
|
+
|
|
563
|
+
/* documentation - table of contents */
|
|
564
|
+
#toc { /* making the toc a bit more compact and standing out */
|
|
565
|
+
font-size: .85em;
|
|
566
|
+
font-weight: bold;
|
|
567
|
+
margin-bottom: 2em;
|
|
568
|
+
margin-left: 3em;
|
|
569
|
+
}
|
|
570
|
+
|
|
571
|
+
div.doc div#toc ol {
|
|
572
|
+
list-style-type: decimal;
|
|
573
|
+
}
|
|
574
|
+
div.doc div#toc ol li {
|
|
575
|
+
line-height: 130%;
|
|
576
|
+
font-weight: bold;
|
|
577
|
+
}
|
|
578
|
+
div.doc div#toc ol li ol {
|
|
579
|
+
list-style-type: lower-alpha;
|
|
580
|
+
font-weight: normal;
|
|
581
|
+
margin-left: 1em;
|
|
582
|
+
}
|
|
583
|
+
div.doc div#toc ol li ol li ol{
|
|
584
|
+
list-style-type: lower-roman;
|
|
585
|
+
}
|
|
586
|
+
|
|
587
|
+
|
|
588
|
+
/* documentation - error explanations */
|
|
589
|
+
dl#expl dt code { /* headings for an error */
|
|
590
|
+
white-space: normal;
|
|
591
|
+
font-weight: bold;
|
|
592
|
+
}
|
|
593
|
+
|
|
594
|
+
dl#expl dt {
|
|
595
|
+
border-top: 1px dashed black;
|
|
596
|
+
margin-top: 2em;
|
|
597
|
+
margin-bottom: 1em;
|
|
598
|
+
}
|
|
599
|
+
|
|
600
|
+
div.doc dt {
|
|
601
|
+
margin-top: 1.2em;
|
|
602
|
+
margin-bottom: .2em;
|
|
603
|
+
}
|
|
604
|
+
div.doc dt, div.doc dt a {
|
|
605
|
+
font-style: italic;
|
|
606
|
+
}
|
|
607
|
+
div.doc dd {
|
|
608
|
+
margin-right: 0; /* no need for the extra margin if we nicely put the text of the dd in a paragraph */
|
|
609
|
+
}
|
|
610
|
+
div.doc var { /* headings for an error */
|
|
611
|
+
color: #006;
|
|
612
|
+
}
|
|
613
|
+
|
|
614
|
+
/* A snippet of code used inline. */
|
|
615
|
+
div.doc code {
|
|
616
|
+
white-space: normal;
|
|
617
|
+
display: inline;
|
|
618
|
+
padding-left: .2em;
|
|
619
|
+
padding-right: .2em;
|
|
620
|
+
color: black;
|
|
621
|
+
font-family: Monaco, "Courier New", monospace;
|
|
622
|
+
border: 1px dotted #ccc;
|
|
623
|
+
}
|
|
624
|
+
|
|
625
|
+
div.doc code.block {
|
|
626
|
+
display: block;
|
|
627
|
+
padding: 1em;
|
|
628
|
+
white-space: pre;
|
|
629
|
+
margin-top: 1em;
|
|
630
|
+
margin-bottom: 1em;
|
|
631
|
+
margin-right: 3em;
|
|
632
|
+
}
|
|
633
|
+
|
|
634
|
+
div.doc code samp {
|
|
635
|
+
font-weight: normal;
|
|
636
|
+
color: black;
|
|
637
|
+
font-style: italic;
|
|
638
|
+
}
|
|
639
|
+
|
|
640
|
+
/* reference tables */
|
|
641
|
+
|
|
642
|
+
div.doc table {
|
|
643
|
+
border-collapse: collapse;
|
|
644
|
+
border-right: 1px solid #ccc;
|
|
645
|
+
}
|
|
646
|
+
div.doc table td, .doc table th{
|
|
647
|
+
border-top: 0px solid #ddd;
|
|
648
|
+
border-bottom: 1px solid #ccc;
|
|
649
|
+
border-left: 1px solid #eee;
|
|
650
|
+
padding: 6px;
|
|
651
|
+
border-collapse: collapse;
|
|
652
|
+
}
|
|
653
|
+
div.doc table th {
|
|
654
|
+
background-color: #eee;
|
|
655
|
+
color: #11111A;
|
|
656
|
+
border-right: 1px solid #ccc;
|
|
657
|
+
}
|
|
658
|
+
|
|
659
|
+
div.doc table {
|
|
660
|
+
margin-top: 1em;
|
|
661
|
+
margin-bottom: .5em;
|
|
662
|
+
border-collapse: collapse;
|
|
663
|
+
border-right: 1px solid #ccc;
|
|
664
|
+
}
|
|
665
|
+
|
|
666
|
+
div.doc td, div.doc th {
|
|
667
|
+
border-top: 0px solid #ddd;
|
|
668
|
+
border-bottom: 1px solid #ccc;
|
|
669
|
+
border-left: 1px solid #eee;
|
|
670
|
+
border-collapse: collapse;
|
|
671
|
+
|
|
672
|
+
}
|
|
673
|
+
div.doc th {
|
|
674
|
+
background-color: #eee;
|
|
675
|
+
color: #11111A;
|
|
676
|
+
border-right: 1px solid #ccc;
|
|
677
|
+
}
|
|
678
|
+
|
|
679
|
+
/* @end */
|
|
680
|
+
|
|
681
|
+
|
|
682
|
+
/* @group home page, news text */
|
|
683
|
+
|
|
684
|
+
div.intro {
|
|
685
|
+
margin: 1em 2em;
|
|
686
|
+
padding: 0.5em 0 0.3em;
|
|
687
|
+
}
|
|
688
|
+
|
|
689
|
+
#news dt {
|
|
690
|
+
font-weight: bold;
|
|
691
|
+
margin-top: 1.5em;
|
|
692
|
+
margin-bottom: .3em;
|
|
693
|
+
}
|
|
694
|
+
|
|
695
|
+
#news dd {
|
|
696
|
+
margin-left: 2.5em;
|
|
697
|
+
margin-right: 1.5em;
|
|
698
|
+
}
|
|
699
|
+
|
|
700
|
+
|
|
701
|
+
/* warning on the home page for test instances */
|
|
702
|
+
#test_warning {
|
|
703
|
+
border-left: 1px solid #ccc;
|
|
704
|
+
border-right: 1px solid #ccc;
|
|
705
|
+
line-height: 160%;
|
|
706
|
+
text-align: center;
|
|
707
|
+
margin-top: 2em;
|
|
708
|
+
margin-left: 12%;
|
|
709
|
+
margin-right: 12%;
|
|
710
|
+
padding-left: 1.5em;
|
|
711
|
+
padding-right: 1.5em;
|
|
712
|
+
color: black;
|
|
713
|
+
background-color: white;
|
|
714
|
+
}
|
|
715
|
+
|
|
716
|
+
#test_warning img {
|
|
717
|
+
width: 1.3em;
|
|
718
|
+
vertical-align: middle;
|
|
719
|
+
}
|
|
720
|
+
|
|
721
|
+
/* donation and sponsorship program */
|
|
722
|
+
|
|
723
|
+
div#don_program { border: 1px solid #55b05a; padding: .5em; line-height: 150%; text-align: center; margin-top: .5em; }
|
|
724
|
+
div#don_program span#don_program_img {float: left; width: 150px; height: 60px;}
|
|
725
|
+
div#don_program span#don_program_img img {vertical-align: middle;}
|
|
726
|
+
div#don_program span#don_program_text { }
|
|
727
|
+
div#don_program span#don_program_text a {font-weight: bold;}
|
|
728
|
+
|
|
729
|
+
#w3c-include { margin-top: 1em; }
|
|
730
|
+
|
|
731
|
+
/* @end */
|
|
732
|
+
|
|
733
|
+
/* @end */
|