blob: 06623eeaf43d4da3dadbab00a0553b22eea73060 (
plain)
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
|
/*
* LLVM website style sheet
*/
/* Common styles */
.body { color: black; background: white; margin: 0 0 0 0 }
/* No borders on image links */
a:link img, a:visited img {border-style: none}
address img { float: right; width: 88px; height: 31px; }
address { clear: right; }
TR, TD { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; }
TH { border: 2px solid gray; font-weight: bold; font-size: 105%; }
TABLE { text-align: center; border: 2px solid black;
border-collapse: collapse; margin-top: 1em; margin-left: 1em;
margin-right: 1em; margin-bottom: 1em; }
/*
* Documentation
*/
/* Common for title and header */
.doc_title, .doc_section, .doc_subsection {
color: black; background: url("img/lines.gif");
font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold;
border-width: 1px;
border-style: solid none solid none;
text-align: center;
vertical-align: middle;
padding-left: 8pt;
padding-top: 1px;
padding-bottom: 2px
}
.doc_title { text-align: left; font-size: 25pt }
.doc_section { text-align: center; font-size: 22pt;
margin: 20pt 0pt 5pt 0pt; }
.doc_subsection { width: 75%;
text-align: left; font-size: 12pt; padding: 4pt 4pt 4pt 4pt;
margin: 1.5em 0.5em 0.5em 0.5em }
.doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em;
font-weight: bold; font-style: oblique;
border-bottom: 1px solid #999999; font-size: 12pt;
width: 75%; }
.doc_author { text-align: left; font-weight: bold; padding-left: 20pt }
.doc_text { text-align: left; padding-left: 20pt }
.doc_footer { text-align: left; padding: 0 0 0 0 }
.doc_red { color: red }
.doc_table { text-align: center; width: 90%;
padding: 1px 1px 1px 1px; border: 1px; }
.doc_table_nw { text-align: center; border: 1px;
padding: 1px 1px 1px 1px; }
.doc_warning { color: red; font-weight: bold }
.doc_code { border: solid 1px gray; background: #eeeeee;
margin: 0 1em 0 1em;
padding: 0 1em 0 1em;
display:table;
}
/* Left align table cell */
.td_left { border: 2px solid gray; text-align: left; }
|