From ee72868f923eda2693c8ef624fa04f48606c06f1 Mon Sep 17 00:00:00 2001 From: r00ster91 Date: Sat, 6 Aug 2022 15:17:59 +0200 Subject: [PATCH] style: format This is mostly manually formatted. I couldn't find a good HTML formatter for this file. It also converts a bunch of tabs to spaces. --- lib/docs/index.html | 85 ++++++++++++++++++++++----------------------- 1 file changed, 42 insertions(+), 43 deletions(-) diff --git a/lib/docs/index.html b/lib/docs/index.html index 7e8022556f801175ab7eec779518beac2aca3e41..2328719caf2857a0dbd2a1230f26894efceaffe3 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -294,6 +294,7 @@ padding: 1px 1em; } + /* help modal */ .help-modal { display: flex; width: 100%; @@ -351,12 +352,12 @@ cursor: default; } - #listFns dt { - font-family: var(--mono); - } - .argBreaker { - display: none; - } + #listFns dt { + font-family: var(--mono); + } + .argBreaker { + display: none; + } /* tokens */ .tok-kw { @@ -390,7 +391,6 @@ /* dark mode */ @media (prefers-color-scheme: dark) { - :root { --tx-color: #bbb; --bg-color: #111; @@ -456,7 +456,6 @@ .tok-type { color: #68f; } - } @media only screen and (max-width: 750px) { @@ -543,7 +542,7 @@ @@ -554,43 +553,43 @@ + -
- - -
+
+ + +
@@ -704,7 +703,7 @@
- +
-- 2.54.0