Cameron Fischer
8990423374
Another batch of whitespace trims ( #6587 )
2022-04-05 16:48:07 +01:00
Simon Huber
98f67373b1
Menubar plugin: make sidebar-scrollable top margin adjust ... ( #4974 )
...
* Menubar plugin: make sidebar-scrollable top margin adjust ...
... to height of menubar
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update menu.tid
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update menu.tid
* Update styles.tid
* Update styles.tid
2020-11-08 11:50:15 +00:00
Jeremy Ruston
6cdffc4eae
Fix broken filters introduced in b179a6011
...
The mistake arose because browser local storage was enabled
2020-02-29 15:56:22 +00:00
Jeremy Ruston
b179a60111
Tweak some system buttons to look better in the new menu bar
...
The reveal widget leaves behind an unnecessary span, which breaks the CSS used to target the button.
2020-02-28 14:34:06 +00:00
Jermolene
b7f638aef3
Change button widget 'title' attribute to 'tooltip'
...
Fixes remainder of #824
2014-09-10 10:25:50 +01:00
Jermolene
d0cbd34bf9
Rename "btn-invisible" class to "tc-btn-invisible"
...
Part of #764
2014-08-28 17:28:32 +01:00
Jermolene
34e4166dc5
Add label and title for show/hide sidebar buttons
...
More fixes for #650
2014-06-17 11:39:18 +01:00
Jermolene
61c204366f
Replace hamburger icon with double chevron
...
Fixes #580
Seems much better, especially since the chevron gives us two clear
visual states (left vs. right). The hamburger doesn’t really have a
commonly accepted way of indicating whether the menu is currently open
or not.
2014-04-27 19:28:30 +01:00
Jermolene
871630be88
Fix the menu hamburger
2014-03-26 10:16:00 +00:00
Jermolene
80b65b1651
Add a top-left and top-right menu
2014-03-25 21:54:06 +00:00
