()
| 448 | // --- Splash screen -------------------------------------------- |
| 449 | |
| 450 | function dismissSplash() { |
| 451 | const splash = document.getElementById("splash"); |
| 452 | if (!splash) return; |
| 453 | setTimeout(() => { |
| 454 | splash.classList.add("hidden"); |
| 455 | splash.addEventListener("transitionend", () => splash.remove(), { once: true }); |
| 456 | }, 2200); |
| 457 | } |
| 458 | |
| 459 | // --- Graph View ----------------------------------------------- |
| 460 |