Jan Eitzinger e6b664f16c Make navbar responsive
This does not work currently because we do not include bootstrap js
2022-02-11 16:51:49 +01:00
..
2022-02-11 16:51:49 +01:00
2022-02-11 15:36:22 +01:00