/* DOKUWIKI:include js/readthedokus.js */

document.addEventListener("DOMContentLoaded", () => {
	var dokus = new ReadtheDokus();
	dokus.run();
});