| Sun, 13 Jan 2019 05:00:14 +0100 | Wuzzy | Frontend: Tweak button padding once more | file | diff | annotate |
| Sat, 12 Jan 2019 06:38:20 +0100 | Wuzzy | Frontend: More button padding tweaking | file | diff | annotate |
| Fri, 11 Jan 2019 01:44:04 +0100 | Wuzzy | Frontend: Increase padding of small push buttons | file | diff | annotate |
| Tue, 07 Aug 2018 16:23:51 +0200 | Wuzzy | Fix hard-to-read text on campaign and training page in frontend at October 31 | file | diff | annotate |