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