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