0001 /* -*- coding: utf-8; mode: css -*-
0002 *
0003 * Sphinx HTML theme customization: read the doc
0004 * Please don't add any color definition here, as the theme should
0005 * work for both normal and dark modes.
0006 */
0007
0008 /* Improve contrast and increase size for easier reading. */
0009
0010 body {
0011 font-family: serif;
0012 font-size: 100%;
0013 }
0014
0015 h1, h2, .rst-content .toctree-wrapper p.caption, h3, h4, h5, h6, legend {
0016 font-family: sans-serif;
0017 }
0018
0019 div[class^="highlight"] pre {
0020 font-family: monospace;
0021 font-size: 100%;
0022 }
0023
0024 .wy-menu-vertical {
0025 font-family: sans-serif;
0026 }
0027
0028 .c {
0029 font-style: normal;
0030 }
0031
0032 p {
0033 font-size: 100%;
0034 }
0035
0036 /* Interim: Code-blocks with line nos - lines and line numbers don't line up.
0037 * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
0038 */
0039
0040 div[class^="highlight"] pre {
0041 line-height: normal;
0042 }
0043 .rst-content .highlight > pre {
0044 line-height: normal;
0045 }
0046
0047 /* Keep fields from being strangely far apart due to inheirited table CSS. */
0048 .rst-content table.field-list th.field-name {
0049 padding-top: 1px;
0050 padding-bottom: 1px;
0051 }
0052 .rst-content table.field-list td.field-body {
0053 padding-top: 1px;
0054 padding-bottom: 1px;
0055 }
0056
0057 @media screen {
0058
0059 /* content column
0060 *
0061 * RTD theme's default is 800px as max width for the content, but we have
0062 * tables with tons of columns, which need the full width of the view-port.
0063 */
0064
0065 .wy-nav-content{max-width: none; }
0066
0067 /* table:
0068 *
0069 * - Sequences of whitespace should collapse into a single whitespace.
0070 * - make the overflow auto (scrollbar if needed)
0071 * - align caption "left" ("center" is unsuitable on vast tables)
0072 */
0073
0074 .wy-table-responsive table td { white-space: normal; }
0075 .wy-table-responsive { overflow: auto; }
0076 .rst-content table.docutils caption { text-align: left; font-size: 100%; }
0077
0078 /* captions:
0079 *
0080 * - captions should have 100% (not 85%) font size
0081 * - hide the permalink symbol as long as link is not hovered
0082 */
0083
0084 .toc-title {
0085 font-size: 150%;
0086 font-weight: bold;
0087 }
0088
0089 caption, .wy-table caption, .rst-content table.field-list caption {
0090 font-size: 100%;
0091 }
0092 caption a.headerlink { opacity: 0; }
0093 caption a.headerlink:hover { opacity: 1; }
0094
0095 /* Menu selection and keystrokes */
0096
0097 span.menuselection {
0098 font-family: "Courier New", Courier, monospace
0099 }
0100
0101 code.kbd, code.kbd span {
0102 font-weight: bold;
0103 font-family: "Courier New", Courier, monospace
0104 }
0105
0106 /* fix bottom margin of lists items */
0107
0108 .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
0109 margin-bottom: 12px;
0110 }
0111
0112 /* inline literal: drop the borderbox, padding and red color */
0113
0114 code, .rst-content tt, .rst-content code {
0115 color: inherit;
0116 border: none;
0117 padding: unset;
0118 background: inherit;
0119 font-size: 85%;
0120 }
0121
0122 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
0123 color: inherit;
0124 }
0125 }