Jed Fox d8bbe536a7
Restyle the mobile UI a bit (#1002)
* Restyle the bottom bar on mobile as an Island

* Shorter label for collaboration button, truncate too-long button labels

* Refactor safe area things to global vars

* Fix scroll bar positioning, don’t block scrollbars with menu island

* Update text
2020-03-18 11:31:40 -04:00
..
2020-03-16 23:23:38 +01:00
2020-03-18 11:31:40 -04:00
2020-03-16 23:23:38 +01:00
2020-03-17 21:46:35 +02:00
2020-03-16 23:23:38 +01:00
2020-03-17 21:46:35 +02:00
2020-03-16 23:23:38 +01:00
2020-03-16 23:23:38 +01:00
2020-03-16 23:23:38 +01:00
2020-03-16 23:23:38 +01:00
2020-03-16 23:23:38 +01:00
2020-03-16 23:23:38 +01:00