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