2018-11-30 21:46:22 +01:00
|
|
|
"use strict"; /* global document */
|
2018-07-20 17:57:25 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2018-10-02 20:46:17 +02:00
|
|
|
// Add page-specific styling
|
|
|
|
|
document.querySelector("body").classList.add("glossary");
|
2018-08-22 21:08:44 +02:00
|
|
|
|
2018-10-02 20:46:17 +02:00
|
|
|
// Toggle sidebar
|
|
|
|
|
document.querySelector("[data-action='toggle glossary sidebar']").onclick = () => {
|
|
|
|
|
document.querySelector("body").classList.toggle("sidebar-closed");
|
|
|
|
|
};
|
