xref: /llvm-project/libc/docs/_static/custom.css (revision fbe0b5176718bd4228f19aa5b9a3c3a8af112980) 
1pre {
2  padding: 7px;
3}
4
5div.document {
6  width: 90%;
7}
8
9div.note {
10  padding: 20px 20px 10px 20px;
11}
12
13div.note p.admonition-title {
14  font-size: 130%;
15}
16
17table.mapping {
18  width: 100%;
19}
20
21table.mapping td {
22  width: 50%;
23  padding: 5px;
24}
25
26table.mapping td.hed {
27  background: #606060;
28  color: #fefefe;
29  text-align: left;
30  border-bottom: 2px #fefefe solid;
31  font-weight: bold;
32}
33
34table.mapping td.header {
35  background: #eeeeee;
36}
37
38table.mapping td.content {
39  font-family: monospace;
40  padding-bottom: 15px;
41}
42
43/* Workaround for a Safari bug that would otherwise make table cells less wide
44than the containing text. This just sets it back to the default browser
45property.*/
46td {
47  -webkit-hyphens: manual !important;
48}
49
50div.sphinxsidebar .caption {
51  font-family: Helvetica, Verdana, sans-serif;
52  font-size: 10pt;
53  font-weight: bold;
54  color: #fefefe;
55  background: #606060;
56  margin-bottom: 0;
57  text-transform: uppercase;
58  padding: 7px;
59}
60
61div.sphinxsidebar a,
62div.sphinxsidebar a:hover {
63  border: none;
64}
65
66div.sphinxsidebar li {
67  padding-left: 7px;
68  border-bottom: 1px solid #fefefe;
69}
70
71div.sphinxsidebar li:hover {
72  background: #ccddee;
73}
74
75div.sphinxsidebar ul {
76  background: #bbccdd;
77  margin: 0px;
78  padding: 0px;
79}
80
81div.sphinxsidebar ul a {
82  font-family: Helvetica, Verdana, sans-serif;
83  font-size: 8pt;
84  display: block;
85  padding: 5px 0;
86  line-height: 14pt;
87}
88
89div.sphinxsidebar ul li.toctree-l1 > a {
90  font-size: 100%;
91}
92
93div.sphinxsidebar h3 {
94  /* Hide Navigation. */
95  display: none;
96}
97
98@media screen and (min-width: 875px) {
99div.body {
100  max-width: 90%;
101}
102}
103
104@media screen and (max-width: 875px) {
105div.sphinxsidebar {
106  margin-left: 0px;
107  margin-right: 0px;
108}
109
110div.body {
111  min-width: auto;
112  max-width: auto;
113}
114}
115