()
| 8731 | var latencyEl = document.getElementById("latency"); |
| 8732 | var barBtn = document.getElementById("bar-btn"); |
| 8733 | var topBar = document.getElementById("top-bar"); |
| 8734 | var toggleBarBtn = document.getElementById("toggle-bar"); |
| 8735 | var terminalContainer = document.getElementById("terminal-container"); |
| 8736 | function getTheme() { |
| 8737 | const s = getComputedStyle(document.documentElement); |
| 8738 | const v = (prop) => s.getPropertyValue(prop).trim(); |
| 8739 | return { |
| 8740 | background: v("--term-bg"), |
| 8741 | foreground: v("--term-fg"), |
| 8742 | cursor: v("--term-cursor"), |
| 8743 | selectionBackground: v("--term-selection"), |
| 8744 | black: v("--term-black"), |
| 8745 | red: v("--term-red"), |
| 8746 | green: v("--term-green"), |
| 8747 | yellow: v("--term-yellow"), |
| 8748 | blue: v("--term-blue"), |
| 8749 | magenta: v("--term-magenta"), |
| 8750 | cyan: v("--term-cyan"), |
| 8751 | white: v("--term-white"), |
| 8752 | brightBlack: v("--term-bright-black"), |
| 8753 | brightRed: v("--term-red"), |
| 8754 | brightGreen: v("--term-green"), |
| 8755 | brightYellow: v("--term-yellow"), |
| 8756 | brightBlue: v("--term-blue"), |
| 8757 | brightMagenta: v("--term-magenta"), |
| 8758 | brightCyan: v("--term-cyan"), |
| 8759 | brightWhite: v("--term-bright-white") |
| 8760 | }; |
| 8761 | } |
no test coverage detected