Jeremy Ruston 5644c2ac7b Menubar tweaks ...

* Fix old references to "top menu" to the new "menu bar" terminology
* Use vanilla breakpoint for responsive adjustment to menu bar padding

2020-02-28 16:09:26 +00:00

..

contents.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +00:00

hamburger.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +00:00

pagecontrols.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +00:00

search.tid

Menubar tweaks

2020-02-28 16:09:26 +00:00

server.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +00:00

topleftbar.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +00:00

toprightbar.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +00:00