| Fri, 20 Sep 2013 16:28:40 +0200 | Simon Descarpentries | - updating jQuery (1.3.2 -> 1.10.2), jQuery UI, jQuery modules | file | diff | annotate |
| Fri, 11 Jan 2013 16:51:16 +0100 | gibus | Add custom CSS and fonts. | file | diff | annotate |
| Thu, 13 Dec 2012 14:27:20 +0100 | gibus | Applies new fonts to interface. | file | diff | annotate |
| Thu, 06 Dec 2012 09:48:45 +0100 | gibus | New fonts. | file | diff | annotate |
| Thu, 19 Aug 2010 13:19:24 +0200 | raph | use fixed table size for comparing versions | file | diff | annotate |
| Fri, 16 Apr 2010 10:34:54 +0200 | raph | cleanup diff for human reading | file | diff | annotate |