5 Commits (6dbb10c4b7b1bfbe740145d1b4ce6d3b6dff9af9)

Author	SHA1	Message	Date
Thibaut Girka	26409f3e8e	Add support for hints (or extended descriptions) in local-settings pages	2018-10-09 18:10:54 +02:00
Thibaut Girka	faecb35fe0	Switch from selects to radio buttons for local settings, improve styling	2018-10-08 13:49:25 +02:00
Thibaut Girka	5c400a2842	Allow text inputs in local settings dialog	2018-08-31 18:35:03 +02:00
kibigo!	96126a5b01	Packaged local_settings styles in common	2017-12-07 13:36:18 -08:00
kibigo!	bc4fa6b198	Rename themes -> flavours ? ?	2017-12-03 23:26:40 -08:00