| Fri, 11 Jan 2013 16:51:16 +0100 | gibus | Add custom CSS and fonts. | file | diff | annotate |
| Fri, 30 Nov 2012 14:43:51 +0100 | gibus | fix switch between different styles. | file | diff | annotate |
| Fri, 11 May 2012 13:10:19 +0200 | gibus | Hides button if table of contents is empty. | file | diff | annotate |