Jakob Borg 5a1ee7f0b0 gui, man: Update docs & translations 9 lat temu
..
css eeedab4091 gui: bottom nav always behind dropdown (fixes #3758) 9 lat temu
font cd54186113 Add support for themes (fixes #1925) 10 lat temu
img b701de60ce gui, assets: Compress PNGs using ZopfliPNG 9 lat temu
lang 5a1ee7f0b0 gui, man: Update docs & translations 9 lat temu