xref: /aosp_15_r20/external/llvm/docs/_static/llvm.css (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker/*
2*9880d681SAndroid Build Coastguard Worker * LLVM documentation style sheet
3*9880d681SAndroid Build Coastguard Worker */
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Worker/* Common styles */
6*9880d681SAndroid Build Coastguard Worker.body { color: black; background: white; margin: 0 0 0 0 }
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker/* No borders on image links */
9*9880d681SAndroid Build Coastguard Workera:link img, a:visited img { border-style: none }
10*9880d681SAndroid Build Coastguard Worker
11*9880d681SAndroid Build Coastguard Workeraddress img { float: right; width: 88px; height: 31px; }
12*9880d681SAndroid Build Coastguard Workeraddress     { clear: right; }
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workertable       { text-align: center; border: 2px solid black;
15*9880d681SAndroid Build Coastguard Worker              border-collapse: collapse; margin-top: 1em; margin-left: 1em;
16*9880d681SAndroid Build Coastguard Worker              margin-right: 1em; margin-bottom: 1em; }
17*9880d681SAndroid Build Coastguard Workertr, td      { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; }
18*9880d681SAndroid Build Coastguard Workerth          { border: 2px solid gray; font-weight: bold; font-size: 105%;
19*9880d681SAndroid Build Coastguard Worker              background: url("lines.gif");
20*9880d681SAndroid Build Coastguard Worker              font-family: "Georgia,Palatino,Times,Roman,SanSerif";
21*9880d681SAndroid Build Coastguard Worker              text-align: center; vertical-align: middle; }
22*9880d681SAndroid Build Coastguard Worker/*
23*9880d681SAndroid Build Coastguard Worker * Documentation
24*9880d681SAndroid Build Coastguard Worker */
25*9880d681SAndroid Build Coastguard Worker/* Common for title and header */
26*9880d681SAndroid Build Coastguard Worker.doc_title, .doc_section, .doc_subsection, h1, h2, h3 {
27*9880d681SAndroid Build Coastguard Worker  color: black; background: url("lines.gif");
28*9880d681SAndroid Build Coastguard Worker  font-family: "Georgia,Palatino,Times,Roman,SanSerif"; font-weight: bold;
29*9880d681SAndroid Build Coastguard Worker  border-width: 1px;
30*9880d681SAndroid Build Coastguard Worker  border-style: solid none solid none;
31*9880d681SAndroid Build Coastguard Worker  text-align: center;
32*9880d681SAndroid Build Coastguard Worker  vertical-align: middle;
33*9880d681SAndroid Build Coastguard Worker  padding-left: 8pt;
34*9880d681SAndroid Build Coastguard Worker  padding-top: 1px;
35*9880d681SAndroid Build Coastguard Worker  padding-bottom: 2px
36*9880d681SAndroid Build Coastguard Worker}
37*9880d681SAndroid Build Coastguard Worker
38*9880d681SAndroid Build Coastguard Workerh1, .doc_title, .title { text-align: left;   font-size: 25pt }
39*9880d681SAndroid Build Coastguard Worker
40*9880d681SAndroid Build Coastguard Workerh2, .doc_section   { text-align: center; font-size: 22pt;
41*9880d681SAndroid Build Coastguard Worker                     margin: 20pt 0pt 5pt 0pt; }
42*9880d681SAndroid Build Coastguard Worker
43*9880d681SAndroid Build Coastguard Workerh3, .doc_subsection { width: 75%;
44*9880d681SAndroid Build Coastguard Worker                      text-align: left;  font-size: 12pt;
45*9880d681SAndroid Build Coastguard Worker                      padding: 4pt 4pt 4pt 4pt;
46*9880d681SAndroid Build Coastguard Worker                      margin: 1.5em 0.5em 0.5em 0.5em }
47*9880d681SAndroid Build Coastguard Worker
48*9880d681SAndroid Build Coastguard Workerh4, .doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em;
49*9880d681SAndroid Build Coastguard Worker                         font-weight: bold; font-style: oblique;
50*9880d681SAndroid Build Coastguard Worker                         border-bottom: 1px solid #999999; font-size: 12pt;
51*9880d681SAndroid Build Coastguard Worker                         width: 75%; }
52*9880d681SAndroid Build Coastguard Worker
53*9880d681SAndroid Build Coastguard Worker.doc_author     { text-align: left; font-weight: bold; padding-left: 20pt }
54*9880d681SAndroid Build Coastguard Worker.doc_text       { text-align: left; padding-left: 20pt; padding-right: 10pt }
55*9880d681SAndroid Build Coastguard Worker
56*9880d681SAndroid Build Coastguard Worker.doc_footer     { text-align: left; padding: 0 0 0 0 }
57*9880d681SAndroid Build Coastguard Worker
58*9880d681SAndroid Build Coastguard Worker.doc_hilite     { color: blue; font-weight: bold; }
59*9880d681SAndroid Build Coastguard Worker
60*9880d681SAndroid Build Coastguard Worker.doc_table      { text-align: center; width: 90%;
61*9880d681SAndroid Build Coastguard Worker                  padding: 1px 1px 1px 1px; border: 1px; }
62*9880d681SAndroid Build Coastguard Worker
63*9880d681SAndroid Build Coastguard Worker.doc_warning    { color: red; font-weight: bold }
64*9880d681SAndroid Build Coastguard Worker
65*9880d681SAndroid Build Coastguard Worker/* <div class="doc_code"> would use this class, and <div> adds more padding */
66*9880d681SAndroid Build Coastguard Worker.doc_code, .literal-block
67*9880d681SAndroid Build Coastguard Worker                { border: solid 1px gray; background: #eeeeee;
68*9880d681SAndroid Build Coastguard Worker                  margin: 0 1em 0 1em;
69*9880d681SAndroid Build Coastguard Worker                  padding: 0 1em 0 1em;
70*9880d681SAndroid Build Coastguard Worker                  display: table;
71*9880d681SAndroid Build Coastguard Worker                }
72*9880d681SAndroid Build Coastguard Worker
73*9880d681SAndroid Build Coastguard Workerblockquote pre {
74*9880d681SAndroid Build Coastguard Worker        padding: 1em 2em 1em 1em;
75*9880d681SAndroid Build Coastguard Worker        border: solid 1px gray;
76*9880d681SAndroid Build Coastguard Worker        background: #eeeeee;
77*9880d681SAndroid Build Coastguard Worker        margin: 0 1em 0 1em;
78*9880d681SAndroid Build Coastguard Worker        display: table;
79*9880d681SAndroid Build Coastguard Worker}
80*9880d681SAndroid Build Coastguard Worker
81*9880d681SAndroid Build Coastguard Workerh2+div, h2+p {text-align: left; padding-left: 20pt; padding-right: 10pt;}
82*9880d681SAndroid Build Coastguard Workerh3+div, h3+p {text-align: left; padding-left: 20pt; padding-right: 10pt;}
83*9880d681SAndroid Build Coastguard Workerh4+div, h4+p {text-align: left; padding-left: 20pt; padding-right: 10pt;}
84*9880d681SAndroid Build Coastguard Worker
85*9880d681SAndroid Build Coastguard Worker/* It is preferrable to use <pre class="doc_code"> everywhere instead of the
86*9880d681SAndroid Build Coastguard Worker * <div class="doc_code"><pre>...</ptr></div> construct.
87*9880d681SAndroid Build Coastguard Worker *
88*9880d681SAndroid Build Coastguard Worker * Once all docs use <pre> for code regions, this style can  be merged with the
89*9880d681SAndroid Build Coastguard Worker * one above, and we can drop the [pre] qualifier.
90*9880d681SAndroid Build Coastguard Worker */
91*9880d681SAndroid Build Coastguard Workerpre.doc_code, .literal-block { padding: 1em 2em 1em 1em }
92*9880d681SAndroid Build Coastguard Worker
93*9880d681SAndroid Build Coastguard Worker.doc_notes      { background: #fafafa; border: 1px solid #cecece;
94*9880d681SAndroid Build Coastguard Worker                  display: table; padding: 0 1em 0 .1em }
95*9880d681SAndroid Build Coastguard Worker
96*9880d681SAndroid Build Coastguard Workertable.layout    { text-align: left; border: none; border-collapse: collapse;
97*9880d681SAndroid Build Coastguard Worker                  padding: 4px 4px 4px 4px; }
98*9880d681SAndroid Build Coastguard Workertr.layout, td.layout, td.left, td.right
99*9880d681SAndroid Build Coastguard Worker                { border: none; padding: 4pt 4pt 2pt 2pt; vertical-align: top; }
100*9880d681SAndroid Build Coastguard Workertd.left         { text-align: left }
101*9880d681SAndroid Build Coastguard Workertd.right        { text-align: right }
102*9880d681SAndroid Build Coastguard Workerth.layout       { border: none; font-weight: bold; font-size: 105%;
103*9880d681SAndroid Build Coastguard Worker                  text-align: center; vertical-align: middle; }
104*9880d681SAndroid Build Coastguard Worker
105*9880d681SAndroid Build Coastguard Worker/* Left align table cell */
106*9880d681SAndroid Build Coastguard Worker.td_left        { border: 2px solid gray; text-align: left; }
107*9880d681SAndroid Build Coastguard Worker
108*9880d681SAndroid Build Coastguard Worker/* ReST-specific */
109*9880d681SAndroid Build Coastguard Worker.title { margin-top: 0 }
110*9880d681SAndroid Build Coastguard Worker.topic-title{ display: none }
111*9880d681SAndroid Build Coastguard Workerdiv.contents ul { list-style-type: decimal }
112*9880d681SAndroid Build Coastguard Worker.toc-backref    { color: black; text-decoration: none; }
113