perf machine: Record if a arch has a single user/kernel address space
[linux/fpc-iii.git] / Documentation / sphinx-static / theme_overrides.css
blobe21e36cd6761796e7832b454b504f5a938e011e7
1 /* -*- coding: utf-8; mode: css -*-
3 * Sphinx HTML theme customization: read the doc
5 */
7 /* Improve contrast and increase size for easier reading. */
9 body {
10 font-family: serif;
11 color: black;
12 font-size: 100%;
15 h1, h2, .rst-content .toctree-wrapper p.caption, h3, h4, h5, h6, legend {
16 font-family: sans-serif;
19 .wy-menu-vertical li.current a {
20 color: #505050;
23 .wy-menu-vertical li.on a, .wy-menu-vertical li.current > a {
24 color: #303030;
27 div[class^="highlight"] pre {
28 font-family: monospace;
29 color: black;
30 font-size: 100%;
33 .wy-menu-vertical {
34 font-family: sans-serif;
37 .c {
38 font-style: normal;
41 p {
42 font-size: 100%;
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
49 div[class^="highlight"] pre {
50 line-height: normal;
52 .rst-content .highlight > pre {
53 line-height: normal;
56 @media screen {
58 /* content column
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.
64 .wy-nav-content{max-width: none; }
66 /* table:
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)
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%; }
77 /* captions:
79 * - captions should have 100% (not 85%) font size
80 * - hide the permalink symbol as long as link is not hovered
83 .toc-title {
84 font-size: 150%;
85 font-weight: bold;
88 caption, .wy-table caption, .rst-content table.field-list caption {
89 font-size: 100%;
91 caption a.headerlink { opacity: 0; }
92 caption a.headerlink:hover { opacity: 1; }
94 /* Menu selection and keystrokes */
96 span.menuselection {
97 color: blue;
98 font-family: "Courier New", Courier, monospace
101 code.kbd, code.kbd span {
102 color: white;
103 background-color: darkblue;
104 font-weight: bold;
105 font-family: "Courier New", Courier, monospace
108 /* fix bottom margin of lists items */
110 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
111 margin-bottom: 12px;
114 /* inline literal: drop the borderbox, padding and red color */
116 code, .rst-content tt, .rst-content code {
117 color: inherit;
118 border: none;
119 padding: unset;
120 background: inherit;
121 font-size: 85%;
124 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
125 color: inherit;