fix: don't flatten docs

2026-08-07 23:31:35 -04:00
parent 28d63c14e3
commit 32e1dc1101
5 changed files with 16 additions and 30 deletions
@@ -1,7 +1,6 @@
-<div style="padding:.4rem .75rem;font:0.85rem/1.4 sans-serif;border-bottom:1px solid var(--border-color,#ddd);background:var(--sidebar-background-color,#f7f7f7);color:var(--main-color,#000)">
-  Docs channel:
-  <a id="ch-release" href="#" style="margin:0 .35rem">release</a>|
-  <a id="ch-nightly" href="#" style="margin:0 .35rem">nightly</a>
+<div id="cb-channel-switch" style="position:fixed;bottom:0.75rem;right:0.75rem;z-index:1000;padding:.3rem .6rem;font:0.8rem/1.3 sans-serif;border:1px solid var(--border-color,#ccc);border-radius:6px;background:var(--main-background-color,#fff);color:var(--main-color,#000);box-shadow:0 1px 4px rgba(0,0,0,.2)">
+  <a id="ch-release" href="#" style="margin:0 .25rem">release</a>|
+  <a id="ch-nightly" href="#" style="margin:0 .25rem">nightly</a>
  <script>
  (function () {
    var m = location.pathname.match(/^(.*\/)(release|nightly)\//);