aboutsummaryrefslogtreecommitdiffstats
path: root/docs/llvm.css
blob: fcde70df71bb91333054508a15c7069a13fe2634 (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
/*
 * 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; }

/* 
 * 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;
                }