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@media screen {
 57
 58    /* content column
 59     *
 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.
 62     */
 63
 64    .wy-nav-content{max-width: none; }
 65
 66    /* table:
 67     *
 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)
 71     */
 72
 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%; }
 76
 77    /* captions:
 78     *
 79     *   - captions should have 100% (not 85%) font size
 80     *   - hide the permalink symbol as long as link is not hovered
 81     */
 82
 83    .toc-title {
 84        font-size: 150%;
 85	font-weight: bold;
 86    }
 87
 88    caption, .wy-table caption, .rst-content table.field-list caption {
 89        font-size: 100%;
 90    }
 91    caption a.headerlink { opacity: 0; }
 92    caption a.headerlink:hover { opacity: 1; }
 93
 94    /* Menu selection and keystrokes */
 95
 96    span.menuselection {
 97	color: blue;
 98	font-family: "Courier New", Courier, monospace
 99    }
100
101    code.kbd, code.kbd span {
102	color: white;
103	background-color: darkblue;
104	font-weight: bold;
105	font-family: "Courier New", Courier, monospace
106    }
107
108    /* fix bottom margin of lists items */
109
110    .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
111          margin-bottom: 12px;
112    }
113
114    /* inline literal: drop the borderbox, padding and red color */
115
116    code, .rst-content tt, .rst-content code {
117        color: inherit;
118        border: none;
119        padding: unset;
120        background: inherit;
121        font-size: 85%;
122    }
123
124    .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
125        color: inherit;
126    }
127}