Linux 4.19.133
[linux/fpc-iii.git] / Documentation / sphinx-static / theme_overrides.css
blob522b6d4c49d4cf64e055b9ecf821f1883365f3af
1 /* -*- coding: utf-8; mode: css -*-
3 * Sphinx HTML theme customization: read the doc
5 */
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 */
11 div[class^="highlight"] pre {
12 line-height: normal;
14 .rst-content .highlight > pre {
15 line-height: normal;
18 @media screen {
20 /* content column
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.
26 .wy-nav-content{max-width: none; }
28 /* table:
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)
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%; }
39 /* captions:
41 * - captions should have 100% (not 85%) font size
42 * - hide the permalink symbol as long as link is not hovered
45 .toc-title {
46 font-size: 150%;
47 font-weight: bold;
50 caption, .wy-table caption, .rst-content table.field-list caption {
51 font-size: 100%;
53 caption a.headerlink { opacity: 0; }
54 caption a.headerlink:hover { opacity: 1; }
56 /* Menu selection and keystrokes */
58 span.menuselection {
59 color: blue;
60 font-family: "Courier New", Courier, monospace
63 code.kbd, code.kbd span {
64 color: white;
65 background-color: darkblue;
66 font-weight: bold;
67 font-family: "Courier New", Courier, monospace
70 /* fix bottom margin of lists items */
72 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
73 margin-bottom: 12px;
76 /* inline literal: drop the borderbox, padding and red color */
78 code, .rst-content tt, .rst-content code {
79 color: inherit;
80 border: none;
81 padding: unset;
82 background: inherit;
83 font-size: 85%;
86 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
87 color: inherit;