1/* -*- coding: utf-8; mode: css -*-
2 *
3 * Sphinx HTML theme customization: read the doc
4 * Please don't add any color definition here, as the theme should
5 * work for both normal and dark modes.
6 */
7
8/* Improve contrast and increase size for easier reading. */
9
10body {
11	font-family: serif;
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
19div[class^="highlight"] pre {
20	font-family: monospace;
21	font-size: 100%;
22}
23
24.wy-menu-vertical {
25	font-family: sans-serif;
26}
27
28.c {
29	font-style: normal;
30}
31
32p {
33	font-size: 100%;
34}
35
36/* Interim: Code-blocks with line nos - lines and line numbers don't line up.
37 * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
38 */
39
40div[class^="highlight"] pre {
41    line-height: normal;
42}
43.rst-content .highlight > pre {
44    line-height: normal;
45}
46
47/* Keep fields from being strangely far apart due to inheirited table CSS. */
48.rst-content table.field-list th.field-name {
49    padding-top: 1px;
50    padding-bottom: 1px;
51}
52.rst-content table.field-list td.field-body {
53    padding-top: 1px;
54    padding-bottom: 1px;
55}
56
57@media screen {
58
59    /* content column
60     *
61     * RTD theme's default is 800px as max width for the content, but we have
62     * tables with tons of columns, which need the full width of the view-port.
63     */
64
65    .wy-nav-content{max-width: none; }
66
67    /* table:
68     *
69     *   - Sequences of whitespace should collapse into a single whitespace.
70     *   - make the overflow auto (scrollbar if needed)
71     *   - align caption "left" ("center" is unsuitable on vast tables)
72     */
73
74    .wy-table-responsive table td { white-space: normal; }
75    .wy-table-responsive { overflow: auto; }
76    .rst-content table.docutils caption { text-align: left; font-size: 100%; }
77
78    /* captions:
79     *
80     *   - captions should have 100% (not 85%) font size
81     *   - hide the permalink symbol as long as link is not hovered
82     */
83
84    .toc-title {
85        font-size: 150%;
86	font-weight: bold;
87    }
88
89    caption, .wy-table caption, .rst-content table.field-list caption {
90        font-size: 100%;
91    }
92    caption a.headerlink { opacity: 0; }
93    caption a.headerlink:hover { opacity: 1; }
94
95    /* Menu selection and keystrokes */
96
97    span.menuselection {
98	font-family: "Courier New", Courier, monospace
99    }
100
101    code.kbd, code.kbd span {
102	font-weight: bold;
103	font-family: "Courier New", Courier, monospace
104    }
105
106    /* fix bottom margin of lists items */
107
108    .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
109          margin-bottom: 12px;
110    }
111
112    /* inline literal: drop the borderbox, padding and red color */
113
114    code, .rst-content tt, .rst-content code {
115        color: inherit;
116        border: none;
117        padding: unset;
118        background: inherit;
119        font-size: 85%;
120    }
121
122    .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
123        color: inherit;
124    }
125}
126