2018-11-30 14:46:22 -06:00
|
|
|
"use strict"; /* global document */
|
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");
|
|
|
|
|
};
|
