1/* -*- coding: utf-8; mode: css -*- 2 * 3 * Sphinx HTML theme customization: read the doc 4 * 5 */ 6 7/* Improve contrast and increase size for easier reading. */ 8 9body { 10 font-family: serif; 11 color: black; 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 19.wy-menu-vertical li.current a { 20 color: #505050; 21} 22 23.wy-menu-vertical li.on a, .wy-menu-vertical li.current > a { 24 color: #303030; 25} 26 27div[class^="highlight"] pre { 28 font-family: monospace; 29 color: black; 30 font-size: 100%; 31} 32 33.wy-menu-vertical { 34 font-family: sans-serif; 35} 36 37.c { 38 font-style: normal; 39} 40 41p { 42 font-size: 100%; 43} 44 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 47 */ 48 49div[class^="highlight"] pre { 50 line-height: normal; 51} 52.rst-content .highlight > pre { 53 line-height: normal; 54} 55 56/* Keep fields from being strangely far apart due to inheirited table CSS. */ 57.rst-content table.field-list th.field-name { 58 padding-top: 1px; 59 padding-bottom: 1px; 60} 61.rst-content table.field-list td.field-body { 62 padding-top: 1px; 63 padding-bottom: 1px; 64} 65 66@media screen { 67 68 /* content column 69 * 70 * RTD theme's default is 800px as max width for the content, but we have 71 * tables with tons of columns, which need the full width of the view-port. 72 */ 73 74 .wy-nav-content{max-width: none; } 75 76 /* table: 77 * 78 * - Sequences of whitespace should collapse into a single whitespace. 79 * - make the overflow auto (scrollbar if needed) 80 * - align caption "left" ("center" is unsuitable on vast tables) 81 */ 82 83 .wy-table-responsive table td { white-space: normal; } 84 .wy-table-responsive { overflow: auto; } 85 .rst-content table.docutils caption { text-align: left; font-size: 100%; } 86 87 /* captions: 88 * 89 * - captions should have 100% (not 85%) font size 90 * - hide the permalink symbol as long as link is not hovered 91 */ 92 93 .toc-title { 94 font-size: 150%; 95 font-weight: bold; 96 } 97 98 caption, .wy-table caption, .rst-content table.field-list caption { 99 font-size: 100%; 100 } 101 caption a.headerlink { opacity: 0; } 102 caption a.headerlink:hover { opacity: 1; } 103 104 /* Menu selection and keystrokes */ 105 106 span.menuselection { 107 color: blue; 108 font-family: "Courier New", Courier, monospace 109 } 110 111 code.kbd, code.kbd span { 112 color: white; 113 background-color: darkblue; 114 font-weight: bold; 115 font-family: "Courier New", Courier, monospace 116 } 117 118 /* fix bottom margin of lists items */ 119 120 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child { 121 margin-bottom: 12px; 122 } 123 124 /* inline literal: drop the borderbox, padding and red color */ 125 126 code, .rst-content tt, .rst-content code { 127 color: inherit; 128 border: none; 129 padding: unset; 130 background: inherit; 131 font-size: 85%; 132 } 133 134 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal { 135 color: inherit; 136 } 137} 138