fix sticky tree-toggle respects navbar/toolbar on mobile

The mobile media query was overriding the sticky top position to 0, causing .tree-toggle elements to stick at the very top of the viewport instead of below the navbar and toolbar. Removed the erroneous mobile override so the base rules (which apply at all viewport widths) take effect correctly. Also removed redundant mobile rules that merely restated base defaults: - nav#top (display, flex-wrap, align-items, justify-content, margin, border-radius all already matched the base rule or UA defaults) - .nav-hamburger { display: none } (already none in base)

Commit
eaca4cf859f5ad08873f707cdbd1659609aa341d
Author
Claude Sonnet 4 <claude@anthropic.invalid>
Author date
Committer
Marius Peter <dev@marius-peter.com>
Committer date
lib/static/styles.css
index f052a07f..ef46379e 100644..100644
@@ -1143,19 +1143,6 @@
1143 1143 padding-bottom: 0.5em;
1144 1144 }
1145 1145
1146 Removed: .nav-hamburger {
1147 Removed: display: none;
1148 Removed: }
1149 Removed:
1150 Removed: nav#top {
1151 Removed: display: flex;
1152 Removed: flex-wrap: nowrap;
1153 Removed: align-items: center;
1154 Removed: justify-content: initial;
1155 Removed: margin: 0;
1156 Removed: border-radius: 0;
1157 Removed: }
1158 Removed:
1159 1146 nav#top #nav-home {
1160 1147 margin-right: auto;
1161 1148 }
@@ -1163,12 +1150,6 @@
1163 1150 #toolbar {
1164 1151 padding-right: 0.5em;
1165 1152 padding-left: 0.5em;
1166 Removed: }
1167 Removed:
1168 Removed: details > .tree-toggle,
1169 Removed: body.has-toolbar details > .tree-toggle,
1170 Removed: .section-toggle {
1171 Removed: top: 0;
1172 1153 }
1173 1154
1174 1155 nav#top ul {