~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/Documentation/sphinx-static/theme_overrides.css

Version: ~ [ linux-6.11.5 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.58 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.114 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.169 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.228 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.284 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.322 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.9 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /Documentation/sphinx-static/theme_overrides.css (Version linux-6.11.5) and /Documentation/sphinx-static/theme_overrides.css (Version linux-5.2.21)


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

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php