| 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 |