Jakob Ketterl
|
13215960c4
|
show header buttons conditionally
|
2021-01-16 18:06:37 +01:00 |
|
Jakob Ketterl
|
9f702f5d14
|
let's try to make the header somewhat responsive
|
2021-01-16 17:34:17 +01:00 |
|
Jakob Ketterl
|
ae217f9ded
|
specify flex-direction explicitly
|
2021-01-15 19:55:37 +01:00 |
|
Jakob Ketterl
|
a31b246924
|
restructure header
|
2021-01-15 19:06:00 +01:00 |
|
Jakob Ketterl
|
d45cc207ad
|
use sprites scaled to specific resolution (better performance, less
scaling headaches)
|
2020-09-11 22:12:01 +02:00 |
|
Jakob Ketterl
|
63c31eba22
|
use sprites to reduce the number of requests
|
2020-09-10 22:29:01 +02:00 |
|
Jakob Ketterl
|
9e323a08ff
|
remove duplicate css declaration
|
2020-06-22 00:07:16 +02:00 |
|
Jakob Ketterl
|
e557d46c0d
|
apply darkly theme
|
2020-05-14 22:31:54 +02:00 |
|
Jakob Ketterl
|
a37e5ac93f
|
header is now collapsed by default; simpler javascript
|
2020-05-10 17:03:30 +02:00 |
|
Jakob Ketterl
|
4dc10fb6a3
|
lose the logo
|
2020-04-25 20:36:08 +02:00 |
|
Jakob Ketterl
|
8a03951713
|
re-align main buttons
|
2020-03-16 22:48:42 +01:00 |
|
Jakob Ketterl
|
a2dc2b3085
|
align the icons
|
2020-03-08 22:33:41 +01:00 |
|
Jakob Ketterl
|
9f90d01dc6
|
simplify icon display
|
2019-10-03 23:55:04 +02:00 |
|
Jakob Ketterl
|
5887522dce
|
header for feature report
|
2019-07-11 16:44:33 +02:00 |
|
Jakob Ketterl
|
2bf2fcd685
|
implement header on map page (not fully functional yet)
|
2019-07-11 13:40:12 +02:00 |
|