2018-10-02 20:46:17 +02:00
|
|
|
/* global document */ "use strict";
|
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");
|
|
|
|
|
};
|
