[OCaml] Mobile-friendly clone of cgit.
style merge toolbar into topnav as a unified black banner
The breadcrumb/filter toolbar now sticks at top:0 with the same black background as the nav, visually merging into a single banner when scrolled. Removed border-radius from both nav and toolbar for a seamless continuous bar. Tree-toggles now stick below the single combined bar height.
lib/static/styles.css
@@ -103,7 +103,6 @@
103
103
104
104
nav#top {
105
105
background-color: black;
106
Removed:
border-radius: 0.25rem;
107
106
position: sticky;
108
107
top: 0;
109
108
z-index: 10;
@@ -514,10 +513,10 @@
514
513
min-height: var(--target-size);
515
514
box-sizing: border-box;
516
515
position: sticky;
517
Removed:
top: var(--nav-height);
518
Removed:
z-index: 9;
519
Removed:
background-color: #181818;
520
Removed:
padding: 0.5em 0;
516
Added:
top: 0;
517
Added:
z-index: 11;
518
Added:
background-color: black;
519
Added:
padding: 0.5em 0.75em;
521
520
overflow-x: auto;
522
521
scrollbar-width: none;
523
522
flex-wrap: nowrap;
@@ -779,7 +778,7 @@
779
778
780
779
.toolbar ~ * details[open] > .tree-toggle,
781
780
.toolbar ~ details[open] > .tree-toggle {
782
Removed:
top: calc(var(--nav-height) + var(--toolbar-height));
781
Added:
top: var(--nav-height);
783
782
}
784
783
785
784
.tree-toggle::-webkit-details-marker {