8990423374
Another batch of whitespace trims ( #6587 )
2022-04-05 16:48:07 +01:00
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
6cdffc4eae
Fix broken filters introduced in b179a6011
...
The mistake arose because browser local storage was enabled
2020-02-29 15:56:22 +00:00
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
b7f638aef3
Change button widget 'title' attribute to 'tooltip'
...
Fixes remainder of #824
2014-09-10 10:25:50 +01:00
d0cbd34bf9
Rename "btn-invisible" class to "tc-btn-invisible"
...
Part of #764
2014-08-28 17:28:32 +01:00
34e4166dc5
Add label and title for show/hide sidebar buttons
...
More fixes for #650
2014-06-17 11:39:18 +01:00
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
871630be88
Fix the menu hamburger
2014-03-26 10:16:00 +00:00
80b65b1651
Add a top-left and top-right menu
2014-03-25 21:54:06 +00:00
Cameron Fischer