1/* -*- coding: utf-8; mode: css -*-
2 *
3 * Sphinx HTML theme customization: read the doc
4 *
5 */
6
7/* 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
45/* 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
56@media screen {
57
58    /* content column
59     *
60     * RTD theme's default is 800px as max width for the content, but we have
61     * tables with tons of columns, which need the full width of the view-port.
62     */
63
64    .wy-nav-content{max-width: none; }
65
66    /* table:
67     *
68     *   - Sequences of whitespace should collapse into a single whitespace.
69     *   - make the overflow auto (scrollbar if needed)
70     *   - align caption "left" ("center" is unsuitable on vast tables)
71     */
72
73    .wy-table-responsive table td { white-space: normal; }
74    .wy-table-responsive { overflow: auto; }
75    .rst-content table.docutils caption { text-align: left; font-size: 100%; }
76
77    /* captions:
78     *
79     *   - captions should have 100% (not 85%) font size
80     *   - hide the permalink symbol as long as link is not hovered
81     */
82
83    .toc-title {
84        font-size: 150%;
85	font-weight: bold;
86    }
87
88    caption, .wy-table caption, .rst-content table.field-list caption {
89        font-size: 100%;
90    }
91    caption a.headerlink { opacity: 0; }
92    caption a.headerlink:hover { opacity: 1; }
93
94    /* Menu selection and keystrokes */
95
96    span.menuselection {
97	color: blue;
98	font-family: "Courier New", Courier, monospace
99    }
100
101    code.kbd, code.kbd span {
102	color: white;
103	background-color: darkblue;
104	font-weight: bold;
105	font-family: "Courier New", Courier, monospace
106    }
107
108    /* fix bottom margin of lists items */
109
110    .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
111          margin-bottom: 12px;
112    }
113
114    /* inline literal: drop the borderbox, padding and red color */
115
116    code, .rst-content tt, .rst-content code {
117        color: inherit;
118        border: none;
119        padding: unset;
120        background: inherit;
121        font-size: 85%;
122    }
123
124    .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
125        color: inherit;
126    }
127}
128