Jakob Borg a022b0cfff gui, man: Update docs & translations 9 years ago
..
css 99ddf1e4ab gui: Adjust border-radius on accordion title buttons (fixes #3299) 9 years ago
font cd54186113 Add support for themes (fixes #1925) 10 years ago
img b701de60ce gui, assets: Compress PNGs using ZopfliPNG 9 years ago
lang a022b0cfff gui, man: Update docs & translations 9 years ago