blob: 522b6d4c49d4cf64e055b9ecf821f1883365f3af [file] [log] [blame]
Mario Six78a88f72018-07-10 08:40:17 +02001/* -*- coding: utf-8; mode: css -*-
2 *
3 * Sphinx HTML theme customization: read the doc
4 *
5 */
6
7/* Interim: Code-blocks with line nos - lines and line numbers don't line up.
8 * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
9 */
10
11div[class^="highlight"] pre {
12 line-height: normal;
13}
14.rst-content .highlight > pre {
15 line-height: normal;
16}
17
18@media screen {
19
20 /* content column
21 *
22 * RTD theme's default is 800px as max width for the content, but we have
23 * tables with tons of columns, which need the full width of the view-port.
24 */
25
26 .wy-nav-content{max-width: none; }
27
28 /* table:
29 *
30 * - Sequences of whitespace should collapse into a single whitespace.
31 * - make the overflow auto (scrollbar if needed)
32 * - align caption "left" ("center" is unsuitable on vast tables)
33 */
34
35 .wy-table-responsive table td { white-space: normal; }
36 .wy-table-responsive { overflow: auto; }
37 .rst-content table.docutils caption { text-align: left; font-size: 100%; }
38
39 /* captions:
40 *
41 * - captions should have 100% (not 85%) font size
42 * - hide the permalink symbol as long as link is not hovered
43 */
44
45 .toc-title {
46 font-size: 150%;
47 font-weight: bold;
48 }
49
50 caption, .wy-table caption, .rst-content table.field-list caption {
51 font-size: 100%;
52 }
53 caption a.headerlink { opacity: 0; }
54 caption a.headerlink:hover { opacity: 1; }
55
56 /* Menu selection and keystrokes */
57
58 span.menuselection {
59 color: blue;
60 font-family: "Courier New", Courier, monospace
61 }
62
63 code.kbd, code.kbd span {
64 color: white;
65 background-color: darkblue;
66 font-weight: bold;
67 font-family: "Courier New", Courier, monospace
68 }
69
70 /* fix bottom margin of lists items */
71
72 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
73 margin-bottom: 12px;
74 }
75
76 /* inline literal: drop the borderbox, padding and red color */
77
78 code, .rst-content tt, .rst-content code {
79 color: inherit;
80 border: none;
81 padding: unset;
82 background: inherit;
83 font-size: 85%;
84 }
85
86 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
87 color: inherit;
88 }
89}