blob: 459ec5b29d68483fbd3e74b022f44daae0a7702a [file] [log] [blame]
Markus Heiserbc214672016-07-03 10:05:28 +02001/* -*- coding: utf-8; mode: css -*-
2 *
Markus Heiser9abaf972016-07-03 05:09:32 -03003 * Sphinx HTML theme customization: read the doc
Markus Heiserbc214672016-07-03 10:05:28 +02004 *
5 */
6
Darrick J. Wong44ba0bb2018-10-04 18:06:03 -07007/* Improve contrast and increase size for easier reading. */
8
9body {
10 font-family: serif;
11 color: black;
12 font-size: 100%;
13}
14
15h1, h2, .rst-content .toctree-wrapper p.caption, h3, h4, h5, h6, legend {
16 font-family: sans-serif;
17}
18
19.wy-menu-vertical li.current a {
20 color: #505050;
21}
22
23.wy-menu-vertical li.on a, .wy-menu-vertical li.current > a {
24 color: #303030;
25}
26
27div[class^="highlight"] pre {
28 font-family: monospace;
29 color: black;
30 font-size: 100%;
31}
32
33.wy-menu-vertical {
34 font-family: sans-serif;
35}
36
37.c {
38 font-style: normal;
39}
40
41p {
42 font-size: 100%;
43}
44
Markus Heiser4c047782017-06-17 10:17:21 +020045/* Interim: Code-blocks with line nos - lines and line numbers don't line up.
46 * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
47 */
48
49div[class^="highlight"] pre {
50 line-height: normal;
51}
52.rst-content .highlight > pre {
53 line-height: normal;
54}
55
Kees Cook1b1438b2019-10-01 11:25:31 -070056/* Keep fields from being strangely far apart due to inheirited table CSS. */
57.rst-content table.field-list th.field-name {
58 padding-top: 1px;
59 padding-bottom: 1px;
60}
61.rst-content table.field-list td.field-body {
62 padding-top: 1px;
63 padding-bottom: 1px;
64}
65
Markus Heiserbc214672016-07-03 10:05:28 +020066@media screen {
67
Markus Heiser9abaf972016-07-03 05:09:32 -030068 /* content column
69 *
70 * RTD theme's default is 800px as max width for the content, but we have
71 * tables with tons of columns, which need the full width of the view-port.
72 */
73
74 .wy-nav-content{max-width: none; }
75
76 /* table:
77 *
78 * - Sequences of whitespace should collapse into a single whitespace.
79 * - make the overflow auto (scrollbar if needed)
80 * - align caption "left" ("center" is unsuitable on vast tables)
81 */
82
83 .wy-table-responsive table td { white-space: normal; }
84 .wy-table-responsive { overflow: auto; }
85 .rst-content table.docutils caption { text-align: left; font-size: 100%; }
86
Markus Heiser4eb40f12016-07-03 05:14:03 -030087 /* captions:
88 *
89 * - captions should have 100% (not 85%) font size
90 * - hide the permalink symbol as long as link is not hovered
91 */
92
Mauro Carvalho Chehabef88f102016-07-19 12:35:08 -030093 .toc-title {
94 font-size: 150%;
95 font-weight: bold;
96 }
97
Markus Heiser4eb40f12016-07-03 05:14:03 -030098 caption, .wy-table caption, .rst-content table.field-list caption {
99 font-size: 100%;
100 }
101 caption a.headerlink { opacity: 0; }
102 caption a.headerlink:hover { opacity: 1; }
103
Mauro Carvalho Chehab1414f042016-09-19 08:07:35 -0300104 /* Menu selection and keystrokes */
105
106 span.menuselection {
107 color: blue;
108 font-family: "Courier New", Courier, monospace
109 }
110
111 code.kbd, code.kbd span {
112 color: white;
113 background-color: darkblue;
114 font-weight: bold;
115 font-family: "Courier New", Courier, monospace
116 }
117
Markus Heiser916f6772017-06-17 10:17:20 +0200118 /* fix bottom margin of lists items */
119
120 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
121 margin-bottom: 12px;
122 }
123
Markus Heiserd1669c82016-08-05 11:19:43 +0200124 /* inline literal: drop the borderbox, padding and red color */
Markus Heiser4eb40f12016-07-03 05:14:03 -0300125
126 code, .rst-content tt, .rst-content code {
127 color: inherit;
128 border: none;
Markus Heiserd1669c82016-08-05 11:19:43 +0200129 padding: unset;
Markus Heiser4eb40f12016-07-03 05:14:03 -0300130 background: inherit;
131 font-size: 85%;
132 }
133
134 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
135 color: inherit;
136 }
Markus Heiserbc214672016-07-03 10:05:28 +0200137}