build

2026-08-22 08:17:15 +00:00 · 2024-03-25 22:43:12 +08:00
parent 22017aa8e5
commit 87af663929
70 changed files with 7428 additions and 32 deletions
@@ -207,6 +207,11 @@ body {
  width: 1.25em;
 }

+/* code block tabs */
+.md-typeset .tabbed-labels>label {
+  font-size: 0.59rem;
+}
+
 /* header banner */
 .md-banner {
  background-color: var(--md-code-bg-color);