main.js 727 B

123456789101112131415161718
  1. document.getElementById("main").parentNode.childNodes[0].classList.add("header_bar");
  2. document.getElementById("main").parentNode.style = "padding: 0; margin: 0";
  3. document.getElementById("main").parentNode.parentNode.parentNode.style = "padding: 0";
  4. // Get references to the elements
  5. let main = document.getElementById('main');
  6. let main_parent = main.parentNode;
  7. let extensions = document.getElementById('extensions');
  8. // Add an event listener to the main element
  9. main_parent.addEventListener('click', function(e) {
  10. // Check if the main element is visible
  11. if (main.offsetHeight > 0 && main.offsetWidth > 0) {
  12. extensions.style.display = 'flex';
  13. } else {
  14. extensions.style.display = 'none';
  15. }
  16. });