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