diff --git a/lib/docs/index.html b/lib/docs/index.html index 4d2fda7f1c7b..f9c2954a3a65 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -25,9 +25,10 @@ --search-bg-color-focus: #ffffff; --search-sh-color: rgba(0, 0, 0, 0.18); --help-sh-color: rgba(0, 0, 0, 0.75); + --help-bg-color: #aaa; } - html, body { margin: 0; padding:0; height: 100%; } + html, body { margin: 0; padding: 0; height: 100%; } a { text-decoration: none; @@ -190,11 +191,11 @@ box-shadow: 0 0.3em 1em 0.125em var(--search-sh-color); } - .docs .search::placeholder { - font-size: 1rem; - font-family: var(--ui); - color: var(--tx-color); - opacity: 0.5; + #searchPlaceholder { + position: absolute; + pointer-events: none; + top: 5px; + left: 5px; } .docs a { @@ -207,9 +208,9 @@ .docs pre { font-family: var(--mono); - font-size:1em; - background-color:#F5F5F5; - padding:1em; + font-size: 1em; + background-color: #F5F5F5; + padding: 1em; overflow-x: auto; } @@ -225,7 +226,7 @@ border-bottom: 0.0625rem dashed; } - .docs h2 { + .docs h2 { font-size: 1.3em; margin: 0.5em 0; padding: 0; @@ -294,7 +295,7 @@ padding: 1px 1em; } - /* help dialog */ + /* help modal */ .help-modal { display: flex; width: 100%; @@ -308,13 +309,13 @@ backdrop-filter: blur(0.3em); } - .help-modal > .dialog { + .help-modal > .modal { max-width: 97vw; max-height: 97vh; overflow: auto; font-size: 1rem; color: #fff; - background-color: #333; + background-color: var(--help-bg-color); border: 0.125rem solid #000; box-shadow: 0 0.5rem 2.5rem 0.3rem var(--help-sh-color); } @@ -335,7 +336,7 @@ margin-right: 0.5em; } - .help-modal kbd { + kbd { display: inline-block; padding: 0.3em 0.2em; font-size: 1.2em; @@ -348,16 +349,16 @@ border-bottom-color: #c6cbd1; border: solid 0.0625em; border-radius: 0.1875em; - box-shadow: inset 0 -0.0625em 0 #c6cbd1; + box-shadow: inset 0 -0.2em 0 #c6cbd1; cursor: default; } - #listFns dt { - font-family: var(--mono); - } - .argBreaker { - display: none; - } + #listFns dt { + font-family: var(--mono); + } + .argBreaker { + display: none; + } /* tokens */ .tok-kw { @@ -391,7 +392,6 @@ /* dark mode */ @media (prefers-color-scheme: dark) { - :root { --tx-color: #bbb; --bg-color: #111; @@ -408,6 +408,7 @@ --search-bg-color-focus: #000; --search-sh-color: rgba(255, 255, 255, 0.28); --help-sh-color: rgba(142, 142, 142, 0.5); + --help-bg-color: #333; } .docs pre { @@ -457,7 +458,6 @@ .tok-type { color: #68f; } - } @media only screen and (max-width: 750px) { @@ -544,7 +544,7 @@ @@ -555,43 +555,43 @@ + -
- - -
+
+ + +
- +
+ S to search, ? for more options + +

Loading...

- +
-