Isaac Muse a42fdb33ed Scope all internal HTML id tags to avoid name clashes ... * Fix ids not being unique enough in templates * Revert disqus id change		2018-06-10 14:45:16 +02:00
..
icons	Scope all internal HTML id tags to avoid name clashes	2018-06-10 14:45:16 +02:00
favicon.png	Only show active subsection on screen when tabs are active	2017-01-28 17:56:34 +01:00