2023-04-10 21:15:16 +02:00
|
|
|
document.getElementById("main").parentNode.childNodes[0].classList.add("header_bar");
|
2023-03-15 17:24:54 +01:00
|
|
|
document.getElementById("main").parentNode.style = "padding: 0; margin: 0";
|
|
|
|
document.getElementById("main").parentNode.parentNode.parentNode.style = "padding: 0";
|
2023-03-15 20:34:31 +01:00
|
|
|
|
|
|
|
// Get references to the elements
|
|
|
|
let main = document.getElementById('main');
|
|
|
|
let main_parent = main.parentNode;
|
|
|
|
let extensions = document.getElementById('extensions');
|
|
|
|
|
|
|
|
// Add an event listener to the main element
|
|
|
|
main_parent.addEventListener('click', function(e) {
|
|
|
|
// Check if the main element is visible
|
|
|
|
if (main.offsetHeight > 0 && main.offsetWidth > 0) {
|
2023-03-27 03:20:30 +02:00
|
|
|
extensions.style.display = 'flex';
|
2023-03-15 20:34:31 +01:00
|
|
|
} else {
|
2023-03-15 20:41:38 +01:00
|
|
|
extensions.style.display = 'none';
|
2023-03-15 20:34:31 +01:00
|
|
|
}
|
|
|
|
});
|
2023-08-02 17:02:36 +02:00
|
|
|
|
2023-08-03 03:50:13 +02:00
|
|
|
// Add some scrollbars
|
2023-08-02 17:02:36 +02:00
|
|
|
const textareaElements = document.querySelectorAll('.add_scrollbar textarea');
|
|
|
|
for(i = 0; i < textareaElements.length; i++) {
|
|
|
|
textareaElements[i].classList.remove('scroll-hide');
|
|
|
|
textareaElements[i].classList.add('pretty_scrollbar');
|
|
|
|
textareaElements[i].style.resize = "none";
|
|
|
|
}
|