]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
doc: update theme_overrides.css
authorHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Sun, 14 Jan 2024 13:18:21 +0000 (14:18 +0100)
committerHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Wed, 17 Jan 2024 07:40:19 +0000 (08:40 +0100)
Update theme_overrides.css from Linux v6.7.

Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
doc/sphinx-static/theme_overrides.css

index 522b6d4c49d4cf64e055b9ecf821f1883365f3af..f6f2b941a5d61f1b4b3279792a12243900d6d356 100644 (file)
@@ -1,9 +1,38 @@
 /* -*- coding: utf-8; mode: css -*-
  *
  * Sphinx HTML theme customization: read the doc
- *
+ * Please don't add any color definition here, as the theme should
+ * work for both normal and dark modes.
  */
 
+/* Improve contrast and increase size for easier reading. */
+
+body {
+       font-family: serif;
+       font-size: 100%;
+}
+
+h1, h2, .rst-content .toctree-wrapper p.caption, h3, h4, h5, h6, legend {
+       font-family: sans-serif;
+}
+
+div[class^="highlight"] pre {
+       font-family: monospace;
+       font-size: 100%;
+}
+
+.wy-menu-vertical {
+       font-family: sans-serif;
+}
+
+.c {
+       font-style: normal;
+}
+
+p {
+       font-size: 100%;
+}
+
 /* Interim: Code-blocks with line nos - lines and line numbers don't line up.
  * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
  */
@@ -15,6 +44,16 @@ div[class^="highlight"] pre {
     line-height: normal;
 }
 
+/* Keep fields from being strangely far apart due to inheirited table CSS. */
+.rst-content table.field-list th.field-name {
+    padding-top: 1px;
+    padding-bottom: 1px;
+}
+.rst-content table.field-list td.field-body {
+    padding-top: 1px;
+    padding-bottom: 1px;
+}
+
 @media screen {
 
     /* content column
@@ -56,13 +95,10 @@ div[class^="highlight"] pre {
     /* Menu selection and keystrokes */
 
     span.menuselection {
-       color: blue;
        font-family: "Courier New", Courier, monospace
     }
 
     code.kbd, code.kbd span {
-       color: white;
-       background-color: darkblue;
        font-weight: bold;
        font-family: "Courier New", Courier, monospace
     }