From 1c6fdea27fad075c265d78b8bce74353756c3d3e Mon Sep 17 00:00:00 2001
From: Matt <mtt.lov@gmail.com>
Date: Tue, 24 Aug 2021 07:30:52 -0700
Subject: [PATCH] Improve docs styling
---
docs/extra.css | 12 +++++++++++-
1 file changed, 11 insertions(+), 1 deletion(-)
diff --git a/docs/extra.css b/docs/extra.css
index 6a95f356a..e953fa14c 100644
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -11,9 +11,19 @@ table {
width: 100%;
}
th {
- background-color: #f0f0f0;
padding: 6px;
+ font-weight: bold;
}
td {
padding: 6px;
}
+/* Remove table header coloring. */
+.md-typeset table:not([class]) th {
+ color: unset !important;
+ background-color: unset !important;
+}
+thead tr {
+ /* Colorize table headers. */
+ background-color: var(--md-code-bg-color);
+ color: var(--md-code-fg-color);
+}