121 lines · css
1/* -*- coding: utf-8; mode: css -*-2 *3 * Sphinx HTML theme customization: read the doc4 * Please don't add any color definition here, as the theme should5 * work for both normal and dark modes.6 */7 8/* Improve contrast and increase size for easier reading. */9 10body {11 font-family: serif;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 19div[class^="highlight"] pre {20 font-family: monospace;21 font-size: 100%;22}23 24.wy-menu-vertical {25 font-family: sans-serif;26}27 28.c {29 font-style: normal;30}31 32p {33 font-size: 100%;34}35 36/* Interim: Code-blocks with line nos - lines and line numbers don't line up.37 * see: https://github.com/rtfd/sphinx_rtd_theme/issues/41938 */39 40div[class^="highlight"] pre {41 line-height: normal;42}43.rst-content .highlight > pre {44 line-height: normal;45}46 47/* Keep fields from being strangely far apart due to inheirited table CSS. */48.rst-content table.field-list th.field-name {49 padding-top: 1px;50 padding-bottom: 1px;51}52.rst-content table.field-list td.field-body {53 padding-top: 1px;54 padding-bottom: 1px;55}56 57@media screen {58 59 /* content column60 *61 * RTD theme's default is 800px as max width for the content, but we have62 * tables with tons of columns, which need the full width of the view-port.63 */64 65 .wy-nav-content{max-width: none; }66 67 /* table:68 *69 * - Sequences of whitespace should collapse into a single whitespace.70 * - make the overflow auto (scrollbar if needed)71 * - align caption "left" ("center" is unsuitable on vast tables)72 */73 74 .wy-table-responsive table td { white-space: normal; }75 .wy-table-responsive { overflow: auto; }76 .rst-content table.docutils caption { text-align: left; font-size: 100%; }77 78 /* captions:79 *80 * - captions should have 100% (not 85%) font size81 * - hide the permalink symbol as long as link is not hovered82 */83 84 caption, .wy-table caption, .rst-content table.field-list caption {85 font-size: 100%;86 }87 caption a.headerlink { opacity: 0; }88 caption a.headerlink:hover { opacity: 1; }89 90 /* Menu selection and keystrokes */91 92 span.menuselection {93 font-family: "Courier New", Courier, monospace94 }95 96 code.kbd, code.kbd span {97 font-weight: bold;98 font-family: "Courier New", Courier, monospace99 }100 101 /* fix bottom margin of lists items */102 103 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {104 margin-bottom: 12px;105 }106 107 /* inline literal: drop the borderbox, padding and red color */108 109 code, .rst-content tt, .rst-content code {110 color: inherit;111 border: none;112 padding: unset;113 background: inherit;114 font-size: 85%;115 }116 117 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {118 color: inherit;119 }120}121