Jakob Borg 1814f4693d gui, man, authors: Update docs, translations, and contributors 4 years ago
..
css bb886868d2 gui: Use grey background for disabled options in form-control (#7468) 4 years ago
font cd54186113 Add support for themes (fixes #1925) 10 years ago
img 9cc49aea77 assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265) 5 years ago
lang 1814f4693d gui, man, authors: Update docs, translations, and contributors 4 years ago