inf-schule.de/
tools
/pixel → Pixeleditor
const tool__content_height = () => { const doc = document.documentElement; doc.style.setProperty('--tool__content_height', `${window.innerHeight}px`); }; window.addEventListener('resize', tool__content_height); tool__content_height();