| 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:07:13 +0200 | Wuzzy | Update outdated and broken holiday stylesheets | file | diff | annotate |
| Fri, 30 Mar 2018 12:26:51 -0400 | nemo | oups | file | diff | annotate |