David Kaltschmidt 38083b5965 Move grid selector to top menu ...

* move to top right, to bookend topologies
* hierarchically similar to search, so similar positioning

Fixes #1743

2016-08-04 14:49:28 +02:00

..

contrast.less

Review feedback

2016-05-11 18:08:59 +02:00

main.less

Move grid selector to top menu

2016-08-04 14:49:28 +02:00