1/* DOKUWIKI:include js/readthedokus.js */
2
3var dokus;
4document.addEventListener("DOMContentLoaded", function() {
5	if (document.body.id === "dokuwiki__top") {
6		dokus = new ReadtheDokus();
7		dokus.run();
8	}
9});
10