docs: improve doc rendering

Change-Id: I6a6a6964b1def9e8e9109fbd9319fa32595f1b72
2025-06-23 12:22:20 +00:00 · 2025-06-23 12:22:20 +00:00 · fd85edb582
commit fd85edb582
parent 781e2b5534
10 changed files with 1442 additions and 43 deletions
--- a/docs/supplemental/css/override.css
+++ b/docs/supplemental/css/override.css
@ -0,0 +1,40 @@
+body {
+  padding-top: 0 !important;
+}
+
+.toolbar {
+  top: 0 !important;
+}
+.nav-container {
+  top: 0 !important;
+}
+@media screen and (min-width: 1024px) {
+  .nav {
+    top: 0 !important;
+    height: 100vh !important;
+  }
+}
+
+.doc pre {
+   font-size: .8rem !important;
+}
+
+.shiki {
+    margin-left: -0.875em !important;
+}
+
+/*
+.doc {
+    max-width: none;
+}
+
+@media screen and (min-width: 1024px) {
+    .doc {
+        max-width: none;
+    }
+
+    .paragraph {
+        max-width: 40rem;
+    }
+}*/
+