xref: /openbsd-src/gnu/llvm/lld/docs/llvm-theme/static/llvm.css (revision ece8a53058b183aa0a669e21c57225431117089d)
1*ece8a530Spatrick/*
2*ece8a530Spatrick * sphinxdoc.css_t
3*ece8a530Spatrick * ~~~~~~~~~~~~~~~
4*ece8a530Spatrick *
5*ece8a530Spatrick * Sphinx stylesheet -- sphinxdoc theme.  Originally created by
6*ece8a530Spatrick * Armin Ronacher for Werkzeug.
7*ece8a530Spatrick *
8*ece8a530Spatrick * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
9*ece8a530Spatrick * :license: BSD, see LICENSE for details.
10*ece8a530Spatrick *
11*ece8a530Spatrick */
12*ece8a530Spatrick
13*ece8a530Spatrick@import url("basic.css");
14*ece8a530Spatrick
15*ece8a530Spatrick/* -- page layout ----------------------------------------------------------- */
16*ece8a530Spatrick
17*ece8a530Spatrickbody {
18*ece8a530Spatrick    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
19*ece8a530Spatrick                 'Verdana', sans-serif;
20*ece8a530Spatrick    font-size: 14px;
21*ece8a530Spatrick    letter-spacing: -0.01em;
22*ece8a530Spatrick    line-height: 150%;
23*ece8a530Spatrick    text-align: center;
24*ece8a530Spatrick    background-color: #BFD1D4;
25*ece8a530Spatrick    color: black;
26*ece8a530Spatrick    padding: 0;
27*ece8a530Spatrick    border: 1px solid #aaa;
28*ece8a530Spatrick
29*ece8a530Spatrick    margin: 0px 80px 0px 80px;
30*ece8a530Spatrick    min-width: 740px;
31*ece8a530Spatrick}
32*ece8a530Spatrick
33*ece8a530Spatrickdiv.logo {
34*ece8a530Spatrick    background-color: white;
35*ece8a530Spatrick    text-align: left;
36*ece8a530Spatrick    padding: 10px 10px 15px 15px;
37*ece8a530Spatrick}
38*ece8a530Spatrick
39*ece8a530Spatrickdiv.document {
40*ece8a530Spatrick    background-color: white;
41*ece8a530Spatrick    text-align: left;
42*ece8a530Spatrick    background-image: url(contents.png);
43*ece8a530Spatrick    background-repeat: repeat-x;
44*ece8a530Spatrick}
45*ece8a530Spatrick
46*ece8a530Spatrickdiv.bodywrapper {
47*ece8a530Spatrick    margin: 0 240px 0 0;
48*ece8a530Spatrick    border-right: 1px solid #ccc;
49*ece8a530Spatrick}
50*ece8a530Spatrick
51*ece8a530Spatrickdiv.body {
52*ece8a530Spatrick    margin: 0;
53*ece8a530Spatrick    padding: 0.5em 20px 20px 20px;
54*ece8a530Spatrick}
55*ece8a530Spatrick
56*ece8a530Spatrickdiv.related {
57*ece8a530Spatrick    font-size: 1em;
58*ece8a530Spatrick}
59*ece8a530Spatrick
60*ece8a530Spatrickdiv.related ul {
61*ece8a530Spatrick    background-image: url(navigation.png);
62*ece8a530Spatrick    height: 2em;
63*ece8a530Spatrick    border-top: 1px solid #ddd;
64*ece8a530Spatrick    border-bottom: 1px solid #ddd;
65*ece8a530Spatrick}
66*ece8a530Spatrick
67*ece8a530Spatrickdiv.related ul li {
68*ece8a530Spatrick    margin: 0;
69*ece8a530Spatrick    padding: 0;
70*ece8a530Spatrick    height: 2em;
71*ece8a530Spatrick    float: left;
72*ece8a530Spatrick}
73*ece8a530Spatrick
74*ece8a530Spatrickdiv.related ul li.right {
75*ece8a530Spatrick    float: right;
76*ece8a530Spatrick    margin-right: 5px;
77*ece8a530Spatrick}
78*ece8a530Spatrick
79*ece8a530Spatrickdiv.related ul li a {
80*ece8a530Spatrick    margin: 0;
81*ece8a530Spatrick    padding: 0 5px 0 5px;
82*ece8a530Spatrick    line-height: 1.75em;
83*ece8a530Spatrick    color: #EE9816;
84*ece8a530Spatrick}
85*ece8a530Spatrick
86*ece8a530Spatrickdiv.related ul li a:hover {
87*ece8a530Spatrick    color: #3CA8E7;
88*ece8a530Spatrick}
89*ece8a530Spatrick
90*ece8a530Spatrickdiv.sphinxsidebarwrapper {
91*ece8a530Spatrick    padding: 0;
92*ece8a530Spatrick}
93*ece8a530Spatrick
94*ece8a530Spatrickdiv.sphinxsidebar {
95*ece8a530Spatrick    margin: 0;
96*ece8a530Spatrick    padding: 0.5em 15px 15px 0;
97*ece8a530Spatrick    width: 210px;
98*ece8a530Spatrick    float: right;
99*ece8a530Spatrick    font-size: 1em;
100*ece8a530Spatrick    text-align: left;
101*ece8a530Spatrick}
102*ece8a530Spatrick
103*ece8a530Spatrickdiv.sphinxsidebar h3, div.sphinxsidebar h4 {
104*ece8a530Spatrick    margin: 1em 0 0.5em 0;
105*ece8a530Spatrick    font-size: 1em;
106*ece8a530Spatrick    padding: 0.1em 0 0.1em 0.5em;
107*ece8a530Spatrick    color: white;
108*ece8a530Spatrick    border: 1px solid #86989B;
109*ece8a530Spatrick    background-color: #AFC1C4;
110*ece8a530Spatrick}
111*ece8a530Spatrick
112*ece8a530Spatrickdiv.sphinxsidebar h3 a {
113*ece8a530Spatrick    color: white;
114*ece8a530Spatrick}
115*ece8a530Spatrick
116*ece8a530Spatrickdiv.sphinxsidebar ul {
117*ece8a530Spatrick    padding-left: 1.5em;
118*ece8a530Spatrick    margin-top: 7px;
119*ece8a530Spatrick    padding: 0;
120*ece8a530Spatrick    line-height: 130%;
121*ece8a530Spatrick}
122*ece8a530Spatrick
123*ece8a530Spatrickdiv.sphinxsidebar ul ul {
124*ece8a530Spatrick    margin-left: 20px;
125*ece8a530Spatrick}
126*ece8a530Spatrick
127*ece8a530Spatrickdiv.footer {
128*ece8a530Spatrick    background-color: #E3EFF1;
129*ece8a530Spatrick    color: #86989B;
130*ece8a530Spatrick    padding: 3px 8px 3px 0;
131*ece8a530Spatrick    clear: both;
132*ece8a530Spatrick    font-size: 0.8em;
133*ece8a530Spatrick    text-align: right;
134*ece8a530Spatrick}
135*ece8a530Spatrick
136*ece8a530Spatrickdiv.footer a {
137*ece8a530Spatrick    color: #86989B;
138*ece8a530Spatrick    text-decoration: underline;
139*ece8a530Spatrick}
140*ece8a530Spatrick
141*ece8a530Spatrick/* -- body styles ----------------------------------------------------------- */
142*ece8a530Spatrick
143*ece8a530Spatrickp {
144*ece8a530Spatrick    margin: 0.8em 0 0.5em 0;
145*ece8a530Spatrick}
146*ece8a530Spatrick
147*ece8a530Spatricka {
148*ece8a530Spatrick    color: #CA7900;
149*ece8a530Spatrick    text-decoration: none;
150*ece8a530Spatrick}
151*ece8a530Spatrick
152*ece8a530Spatricka:hover {
153*ece8a530Spatrick    color: #2491CF;
154*ece8a530Spatrick}
155*ece8a530Spatrick
156*ece8a530Spatrickdiv.body a {
157*ece8a530Spatrick    text-decoration: underline;
158*ece8a530Spatrick}
159*ece8a530Spatrick
160*ece8a530Spatrickh1 {
161*ece8a530Spatrick    margin: 0;
162*ece8a530Spatrick    padding: 0.7em 0 0.3em 0;
163*ece8a530Spatrick    font-size: 1.5em;
164*ece8a530Spatrick    color: #11557C;
165*ece8a530Spatrick}
166*ece8a530Spatrick
167*ece8a530Spatrickh2 {
168*ece8a530Spatrick    margin: 1.3em 0 0.2em 0;
169*ece8a530Spatrick    font-size: 1.35em;
170*ece8a530Spatrick    padding: 0;
171*ece8a530Spatrick}
172*ece8a530Spatrick
173*ece8a530Spatrickh3 {
174*ece8a530Spatrick    margin: 1em 0 -0.3em 0;
175*ece8a530Spatrick    font-size: 1.2em;
176*ece8a530Spatrick}
177*ece8a530Spatrick
178*ece8a530Spatrickdiv.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
179*ece8a530Spatrick    color: black!important;
180*ece8a530Spatrick}
181*ece8a530Spatrick
182*ece8a530Spatrickh1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
183*ece8a530Spatrick    display: none;
184*ece8a530Spatrick    margin: 0 0 0 0.3em;
185*ece8a530Spatrick    padding: 0 0.2em 0 0.2em;
186*ece8a530Spatrick    color: #aaa!important;
187*ece8a530Spatrick}
188*ece8a530Spatrick
189*ece8a530Spatrickh1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
190*ece8a530Spatrickh5:hover a.anchor, h6:hover a.anchor {
191*ece8a530Spatrick    display: inline;
192*ece8a530Spatrick}
193*ece8a530Spatrick
194*ece8a530Spatrickh1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
195*ece8a530Spatrickh5 a.anchor:hover, h6 a.anchor:hover {
196*ece8a530Spatrick    color: #777;
197*ece8a530Spatrick    background-color: #eee;
198*ece8a530Spatrick}
199*ece8a530Spatrick
200*ece8a530Spatricka.headerlink {
201*ece8a530Spatrick    color: #c60f0f!important;
202*ece8a530Spatrick    font-size: 1em;
203*ece8a530Spatrick    margin-left: 6px;
204*ece8a530Spatrick    padding: 0 4px 0 4px;
205*ece8a530Spatrick    text-decoration: none!important;
206*ece8a530Spatrick}
207*ece8a530Spatrick
208*ece8a530Spatricka.headerlink:hover {
209*ece8a530Spatrick    background-color: #ccc;
210*ece8a530Spatrick    color: white!important;
211*ece8a530Spatrick}
212*ece8a530Spatrick
213*ece8a530Spatrickcite, code, tt {
214*ece8a530Spatrick    font-family: 'Consolas', 'Deja Vu Sans Mono',
215*ece8a530Spatrick                 'Bitstream Vera Sans Mono', monospace;
216*ece8a530Spatrick    font-size: 0.95em;
217*ece8a530Spatrick    letter-spacing: 0.01em;
218*ece8a530Spatrick}
219*ece8a530Spatrick
220*ece8a530Spatricktt {
221*ece8a530Spatrick    background-color: #f2f2f2;
222*ece8a530Spatrick    border-bottom: 1px solid #ddd;
223*ece8a530Spatrick    color: #333;
224*ece8a530Spatrick}
225*ece8a530Spatrick
226*ece8a530Spatricktt.descname, tt.descclassname, tt.xref {
227*ece8a530Spatrick    border: 0;
228*ece8a530Spatrick}
229*ece8a530Spatrick
230*ece8a530Spatrickhr {
231*ece8a530Spatrick    border: 1px solid #abc;
232*ece8a530Spatrick    margin: 2em;
233*ece8a530Spatrick}
234*ece8a530Spatrick
235*ece8a530Spatricka tt {
236*ece8a530Spatrick    border: 0;
237*ece8a530Spatrick    color: #CA7900;
238*ece8a530Spatrick}
239*ece8a530Spatrick
240*ece8a530Spatricka tt:hover {
241*ece8a530Spatrick    color: #2491CF;
242*ece8a530Spatrick}
243*ece8a530Spatrick
244*ece8a530Spatrickpre {
245*ece8a530Spatrick    font-family: 'Consolas', 'Deja Vu Sans Mono',
246*ece8a530Spatrick                 'Bitstream Vera Sans Mono', monospace;
247*ece8a530Spatrick    font-size: 0.95em;
248*ece8a530Spatrick    letter-spacing: 0.015em;
249*ece8a530Spatrick    line-height: 120%;
250*ece8a530Spatrick    padding: 0.5em;
251*ece8a530Spatrick    border: 1px solid #ccc;
252*ece8a530Spatrick    background-color: #f8f8f8;
253*ece8a530Spatrick}
254*ece8a530Spatrick
255*ece8a530Spatrickpre a {
256*ece8a530Spatrick    color: inherit;
257*ece8a530Spatrick    text-decoration: underline;
258*ece8a530Spatrick}
259*ece8a530Spatrick
260*ece8a530Spatricktd.linenos pre {
261*ece8a530Spatrick    padding: 0.5em 0;
262*ece8a530Spatrick}
263*ece8a530Spatrick
264*ece8a530Spatrickdiv.quotebar {
265*ece8a530Spatrick    background-color: #f8f8f8;
266*ece8a530Spatrick    max-width: 250px;
267*ece8a530Spatrick    float: right;
268*ece8a530Spatrick    padding: 2px 7px;
269*ece8a530Spatrick    border: 1px solid #ccc;
270*ece8a530Spatrick}
271*ece8a530Spatrick
272*ece8a530Spatrickdiv.topic {
273*ece8a530Spatrick    background-color: #f8f8f8;
274*ece8a530Spatrick}
275*ece8a530Spatrick
276*ece8a530Spatricktable {
277*ece8a530Spatrick    border-collapse: collapse;
278*ece8a530Spatrick    margin: 0 -0.5em 0 -0.5em;
279*ece8a530Spatrick}
280*ece8a530Spatrick
281*ece8a530Spatricktable td, table th {
282*ece8a530Spatrick    padding: 0.2em 0.5em 0.2em 0.5em;
283*ece8a530Spatrick}
284*ece8a530Spatrick
285*ece8a530Spatrickdiv.admonition, div.warning {
286*ece8a530Spatrick    font-size: 0.9em;
287*ece8a530Spatrick    margin: 1em 0 1em 0;
288*ece8a530Spatrick    border: 1px solid #86989B;
289*ece8a530Spatrick    background-color: #f7f7f7;
290*ece8a530Spatrick    padding: 0;
291*ece8a530Spatrick}
292*ece8a530Spatrick
293*ece8a530Spatrickdiv.admonition p, div.warning p {
294*ece8a530Spatrick    margin: 0.5em 1em 0.5em 1em;
295*ece8a530Spatrick    padding: 0;
296*ece8a530Spatrick}
297*ece8a530Spatrick
298*ece8a530Spatrickdiv.admonition pre, div.warning pre {
299*ece8a530Spatrick    margin: 0.4em 1em 0.4em 1em;
300*ece8a530Spatrick}
301*ece8a530Spatrick
302*ece8a530Spatrickdiv.admonition p.admonition-title,
303*ece8a530Spatrickdiv.warning p.admonition-title {
304*ece8a530Spatrick    margin: 0;
305*ece8a530Spatrick    padding: 0.1em 0 0.1em 0.5em;
306*ece8a530Spatrick    color: white;
307*ece8a530Spatrick    border-bottom: 1px solid #86989B;
308*ece8a530Spatrick    font-weight: bold;
309*ece8a530Spatrick    background-color: #AFC1C4;
310*ece8a530Spatrick}
311*ece8a530Spatrick
312*ece8a530Spatrickdiv.warning {
313*ece8a530Spatrick    border: 1px solid #940000;
314*ece8a530Spatrick}
315*ece8a530Spatrick
316*ece8a530Spatrickdiv.warning p.admonition-title {
317*ece8a530Spatrick    background-color: #CF0000;
318*ece8a530Spatrick    border-bottom-color: #940000;
319*ece8a530Spatrick}
320*ece8a530Spatrick
321*ece8a530Spatrickdiv.admonition ul, div.admonition ol,
322*ece8a530Spatrickdiv.warning ul, div.warning ol {
323*ece8a530Spatrick    margin: 0.1em 0.5em 0.5em 3em;
324*ece8a530Spatrick    padding: 0;
325*ece8a530Spatrick}
326*ece8a530Spatrick
327*ece8a530Spatrickdiv.versioninfo {
328*ece8a530Spatrick    margin: 1em 0 0 0;
329*ece8a530Spatrick    border: 1px solid #ccc;
330*ece8a530Spatrick    background-color: #DDEAF0;
331*ece8a530Spatrick    padding: 8px;
332*ece8a530Spatrick    line-height: 1.3em;
333*ece8a530Spatrick    font-size: 0.9em;
334*ece8a530Spatrick}
335*ece8a530Spatrick
336*ece8a530Spatrick.viewcode-back {
337*ece8a530Spatrick    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
338*ece8a530Spatrick                 'Verdana', sans-serif;
339*ece8a530Spatrick}
340*ece8a530Spatrick
341*ece8a530Spatrickdiv.viewcode-block:target {
342*ece8a530Spatrick    background-color: #f4debf;
343*ece8a530Spatrick    border-top: 1px solid #ac9;
344*ece8a530Spatrick    border-bottom: 1px solid #ac9;
345*ece8a530Spatrick}
346