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