| Fri, 11 May 2012 13:10:19 +0200 | gibus | Hides button if table of contents is empty. | file | diff | annotate |
| Fri, 11 May 2012 12:00:40 +0200 | gibus | Adds a table of content. | file | diff | annotate |
| Tue, 30 Nov 2010 09:53:35 +0100 | gibus | Coding style for js: expand tabs | file | diff | annotate |