fd56a53e76
* ui: improve menu folding Fold/unfold the menu bar just by the amount of scroll, not by its full width * refactor: use a variable for the menu bar height * Fix menu scroll jittering, remove hover folding smoothness Rewrite it to use `position:` `sticky` and `relative` instead of continuous programmatic position changes On-hover folding-unfolding transition removal is a side-effect |
||
|---|---|---|
| .. | ||
| chrome.css | ||
| general.css | ||
| print.css | ||
| variables.css | ||