Add initial README and web page files
[cuda-ada.git] / doc / asciidoc.css
1 body {
2   font-family: Georgia,serif;
3 }
4
5 h1, h2, h3, h4, h5, h6,
6 div.title, caption.title,
7 thead, p.table.header,
8 #toctitle,
9 #author, #revnumber, #revdate, #revremark,
10 #footer {
11   font-family: Arial,Helvetica,sans-serif;
12 }
13
14 body {
15   background-color: #f1f1f1;
16 }
17
18 table.main {
19   width: 80%;
20   margin: 1em 10% 1em 10%;
21   background-color: white;
22   -webkit-border-radius: 10px;
23   -webkit-box-shadow: 1px 1px 6px rgba(0, 0, 0, 0.6);
24   -moz-border-radius: 10px;
25   -moz-box-shadow: 1px 1px 6px rgba(0, 0, 0, 0.6);
26   border-radius: 10px;
27   box-shadow: 1px 1px 6px rgba(0, 0, 0, 0.6);
28 }
29
30 td.header {
31   background-color: #666262;
32   padding: 1px 15px 1px;
33   border-bottom: 5px solid #4183c4;
34   -webkit-border-top-left-radius: 10px;
35   -webkit-border-top-right-radius: 10px;
36   -moz-border-radius-topleft: 10px;
37   -moz-border-radius-topright: 10px;
38   border-top-left-radius: 10px;
39   border-top-right-radius: 10px;
40 }
41
42 td.content {
43   padding: 1px 15px 40px;
44 }
45
46 td.footer {
47   background-color: #666262;
48   border-top: 8px solid #4183c4;
49   -webkit-border-bottom-right-radius: 10px;
50   -webkit-border-bottom-left-radius: 10px;
51   -moz-border-radius-bottomright: 10px;
52   -moz-border-radius-bottomleft: 10px;
53   border-bottom-right-radius: 10px;
54   border-bottom-left-radius: 10px;
55 }
56
57 a { outline: none; }
58
59 a:link, a:visited {
60   color: #4183c4;
61   text-decoration: none;
62 }
63
64 a:hover {
65   text-decoration: underline;
66 }
67
68 em {
69   font-style: italic;
70   color: gray;
71 }
72
73 strong {
74   font-weight: bold;
75   color: gray;
76 }
77
78 h2, h3, h4, h5, h6 {
79   color: #4183c4;
80   margin-top: 1.2em;
81   margin-bottom: 0.5em;
82   line-height: 1.3;
83 }
84
85 h1 {
86   background-color: #666262;
87   color: white;
88 }
89
90 h2, h3 {
91   border-bottom: 1px solid silver;
92 }
93 h2 {
94   padding-top: 0.5em;
95 }
96 h3 {
97   float: left;
98 }
99 h3 + * {
100   clear: left;
101 }
102 h5 {
103   font-size: 1.0em;
104 }
105
106 div.sectionbody {
107   margin-left: 0;
108 }
109
110 hr {
111   border: 1px solid silver;
112 }
113
114 p {
115   margin-top: 0.5em;
116   margin-bottom: 0.5em;
117 }
118
119 ul, ol, li > p {
120   margin-top: 0;
121 }
122 ul > li     { color: #aaa; }
123 ul > li > * { color: black; }
124
125 pre {
126   padding: 0;
127   margin: 0;
128 }
129
130 #author {
131   color: #527bbd;
132   font-weight: bold;
133   font-size: 1.1em;
134 }
135 #email {
136 }
137 #revnumber, #revdate, #revremark {
138 }
139
140 #footer {
141   font-size: x-small;
142   margin-bottom: 4.0em;
143 }
144 #footer-text {
145   background-color: #666262;
146   color: #f1f1f1;
147   float: right;
148   padding-bottom: 0.5em;
149   margin-right: 4px;
150 }
151 #footer-badges {
152   float: right;
153   padding-bottom: 0.5em;
154 }
155
156 #preamble {
157   margin-top: 1.5em;
158   margin-bottom: 1.5em;
159 }
160 div.imageblock, div.exampleblock, div.verseblock,
161 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
162 div.admonitionblock {
163   margin-top: 1.0em;
164   margin-bottom: 1.5em;
165 }
166 div.admonitionblock {
167   margin-top: 2.0em;
168   margin-bottom: 2.0em;
169   margin-right: 10%;
170   color: #606060;
171 }
172
173 div.content { /* Block element content. */
174   padding: 0;
175 }
176
177 /* Block element titles. */
178 div.title, caption.title {
179   color: #527bbd;
180   font-weight: bold;
181   text-align: left;
182   margin-top: 1.0em;
183   margin-bottom: 0.5em;
184 }
185 div.title + * {
186   margin-top: 0;
187 }
188
189 td div.title:first-child {
190   margin-top: 0.0em;
191 }
192 div.content div.title:first-child {
193   margin-top: 0.0em;
194 }
195 div.content + div.title {
196   margin-top: 0.0em;
197 }
198
199 div.sidebarblock > div.content {
200   background: #ffffee;
201   border: 1px solid #dddddd;
202   border-left: 4px solid #f0f0f0;
203   padding: 0.5em;
204 }
205
206 div.listingblock > div.content {
207   border: 1px solid #dddddd;
208   border-left: 5px solid #f0f0f0;
209   background: #f8f8f8;
210   padding: 0.5em;
211 }
212
213 div.quoteblock, div.verseblock {
214   padding-left: 1.0em;
215   margin-left: 1.0em;
216   margin-right: 10%;
217   border-left: 5px solid #f0f0f0;
218   color: #888;
219 }
220
221 div.quoteblock > div.attribution {
222   padding-top: 0.5em;
223   text-align: right;
224 }
225
226 div.verseblock > pre.content {
227   font-family: inherit;
228   font-size: inherit;
229 }
230 div.verseblock > div.attribution {
231   padding-top: 0.75em;
232   text-align: left;
233 }
234
235 div.admonitionblock .icon {
236   vertical-align: top;
237   font-size: 1.1em;
238   font-weight: bold;
239   text-decoration: underline;
240   color: #527bbd;
241   padding-right: 0.5em;
242 }
243 div.admonitionblock td.content {
244   padding-left: 0.5em;
245   border-left: 3px solid #dddddd;
246 }
247
248 div.exampleblock > div.content {
249   border-left: 3px solid #dddddd;
250   padding-left: 0.5em;
251 }
252
253 div.imageblock div.content { padding-left: 0; }
254 span.image img { border-style: none; }
255
256 dl {
257   margin-top: 0.8em;
258   margin-bottom: 0.8em;
259 }
260 dt {
261   margin-top: 0.5em;
262   margin-bottom: 0;
263   font-style: normal;
264   color: gray;
265 }
266 dd > *:first-child {
267   margin-top: 0.1em;
268 }
269
270 ul, ol {
271     list-style-position: outside;
272 }
273 ol.arabic {
274   list-style-type: decimal;
275 }
276 ol.loweralpha {
277   list-style-type: lower-alpha;
278 }
279 ol.upperalpha {
280   list-style-type: upper-alpha;
281 }
282 ol.lowerroman {
283   list-style-type: lower-roman;
284 }
285 ol.upperroman {
286   list-style-type: upper-roman;
287 }
288
289 div.compact ul, div.compact ol,
290 div.compact p, div.compact p,
291 div.compact div, div.compact div {
292   margin-top: 0.1em;
293   margin-bottom: 0.1em;
294 }
295
296 tfoot {
297   font-weight: bold;
298 }
299 td > div.verse {
300   white-space: pre;
301 }
302
303 div.hdlist {
304   margin-top: 0.8em;
305   margin-bottom: 0.8em;
306 }
307 div.hdlist tr {
308   padding-bottom: 15px;
309 }
310 dt.hdlist1.strong, td.hdlist1.strong {
311   font-weight: bold;
312 }
313 td.hdlist1 {
314   vertical-align: top;
315   font-style: normal;
316   padding-right: 0.8em;
317   color: gray;
318 }
319 td.hdlist2 {
320   vertical-align: top;
321 }
322 div.hdlist.compact tr {
323   margin: 0;
324   padding-bottom: 0;
325 }
326
327 .comment {
328   background: yellow;
329 }
330
331 .footnote, .footnoteref {
332   font-size: 0.8em;
333 }
334
335 span.footnote, span.footnoteref {
336   vertical-align: super;
337 }
338
339 #footnotes {
340   margin: 20px 0 20px 0;
341   padding: 7px 0 0 0;
342 }
343
344 #footnotes div.footnote {
345   margin: 0 0 5px 0;
346 }
347
348 #footnotes hr {
349   border: none;
350   border-top: 1px solid silver;
351   height: 1px;
352   text-align: left;
353   margin-left: 0;
354   width: 20%;
355   min-width: 100px;
356 }
357
358 div.colist td {
359   padding-right: 0.5em;
360   padding-bottom: 0.3em;
361   vertical-align: top;
362 }
363 div.colist td img {
364   margin-top: 0.3em;
365 }
366
367 @media print {
368   #footer-badges { display: none; }
369 }
370
371 #toc {
372   margin-bottom: 2.5em;
373 }
374
375 #toctitle {
376   color: #527bbd;
377   font-size: 1.1em;
378   font-weight: bold;
379   margin-top: 1.0em;
380   margin-bottom: 0.1em;
381 }
382
383 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
384   margin-top: 0;
385   margin-bottom: 0;
386 }
387 div.toclevel2 {
388   margin-left: 2em;
389   font-size: 0.9em;
390 }
391 div.toclevel3 {
392   margin-left: 4em;
393   font-size: 0.9em;
394 }
395 div.toclevel4 {
396   margin-left: 6em;
397   font-size: 0.9em;
398 }
399
400 span.big { font-size: 2em; }
401 span.small { font-size: 0.6em; }
402
403 span.underline { text-decoration: underline; }
404 span.overline { text-decoration: overline; }
405 span.line-through { text-decoration: line-through; }
406
407
408 /*
409  * xhtml11 specific
410  *
411  * */
412
413 tt {
414   font-family: monospace;
415   font-size: inherit;
416   color: gray;
417 }
418
419 div.tableblock {
420   margin-top: 1.0em;
421   margin-bottom: 1.5em;
422 }
423 div.tableblock > table {
424   border: 3px solid #527bbd;
425 }
426 thead, p.table.header {
427   font-weight: bold;
428   color: #527bbd;
429 }
430 p.table {
431   margin-top: 0;
432 }
433 /* Because the table frame attribute is overriden by CSS in most browsers. */
434 div.tableblock > table[frame="void"] {
435   border-style: none;
436 }
437 div.tableblock > table[frame="hsides"] {
438   border-left-style: none;
439   border-right-style: none;
440 }
441 div.tableblock > table[frame="vsides"] {
442   border-top-style: none;
443   border-bottom-style: none;
444 }
445
446
447 /*
448  * html5 specific
449  *
450  * */
451
452 .monospaced {
453   font-family: monospace;
454   font-size: inherit;
455   color: gray;
456 }
457
458 table.tableblock {
459   margin-top: 1.0em;
460   margin-bottom: 1.5em;
461 }
462 thead, p.tableblock.header {
463   font-weight: bold;
464   color: #527bbd;
465 }
466 p.tableblock {
467   margin-top: 0;
468 }
469 table.tableblock {
470   border-width: 3px;
471   border-spacing: 0px;
472   border-style: solid;
473   border-color: #527bbd;
474   border-collapse: collapse;
475 }
476 th.tableblock, td.tableblock {
477   border-width: 1px;
478   padding: 4px;
479   border-style: solid;
480   border-color: #527bbd;
481 }
482
483 table.tableblock.frame-topbot {
484   border-left-style: hidden;
485   border-right-style: hidden;
486 }
487 table.tableblock.frame-sides {
488   border-top-style: hidden;
489   border-bottom-style: hidden;
490 }
491 table.tableblock.frame-none {
492   border-style: hidden;
493 }
494
495 th.tableblock.halign-left, td.tableblock.halign-left {
496   text-align: left;
497 }
498 th.tableblock.halign-center, td.tableblock.halign-center {
499   text-align: center;
500 }
501 th.tableblock.halign-right, td.tableblock.halign-right {
502   text-align: right;
503 }
504
505 th.tableblock.valign-top, td.tableblock.valign-top {
506   vertical-align: top;
507 }
508 th.tableblock.valign-middle, td.tableblock.valign-middle {
509   vertical-align: middle;
510 }
511 th.tableblock.valign-bottom, td.tableblock.valign-bottom {
512   vertical-align: bottom;
513 }