Jakob Borg d924bd7bd9 gui, man, authors: Update docs, translations, and contributors

2019-01-09 07:45:23 +01:00

..

css

gui: Use a modern font stack inspired by Bootstrap 4 (#5407)

2018-12-26 23:05:20 +01:00

font

Add support for themes (fixes #1925)

2016-01-10 17:57:27 +00:00

img

gui, assets: Compress PNGs using ZopfliPNG

2016-06-28 06:19:12 +00:00

lang

gui, man, authors: Update docs, translations, and contributors

2019-01-09 07:45:23 +01:00