viktor/infra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

terminal: make slate the default theme

Browse source
This commit is contained in:
Viktor Barzin 2026-05-13 20:54:54 +00:00
parent 699acdbd0a
commit e2aa2931e4
1 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

18
stacks/terminal/files/index.html
View file

@ -6,7 +6,7 @@
<title>Terminal</title> <title>Terminal</title>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@xterm/xterm@5.5.0/css/xterm.min.css"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@xterm/xterm@5.5.0/css/xterm.min.css">
<style> <style>
/* Themes — set on <body> as theme-{carbon,slate,mono,ink}. Carbon is the default. */ /* Themes — set on <body> as theme-{carbon,slate,mono,ink}. Slate is the default. */
body.theme-carbon { body.theme-carbon {
--bg-page: #0c0c0a; --bg-page: #0c0c0a;
--bg-sidebar: #131311; --bg-sidebar: #131311;
@ -78,8 +78,8 @@
html, body { html, body {
margin: 0; padding: 0; height: 100%; overflow: hidden; margin: 0; padding: 0; height: 100%; overflow: hidden;
background: var(--bg-page, #0c0c0a); background: var(--bg-page, #0d1117);
color: var(--text-primary, #e8e3d6); color: var(--text-primary, #e6e8eb);
} }
#terminal { height: 100%; width: 100%; } #terminal { height: 100%; width: 100%; }
.hidden { display: none !important; } .hidden { display: none !important; }
@ -300,8 +300,8 @@
function getTheme() { function getTheme() {
try { try {
const t = localStorage.getItem(THEME_KEY); const t = localStorage.getItem(THEME_KEY);
return THEMES.includes(t) ? t : 'carbon'; return THEMES.includes(t) ? t : 'slate';
} catch (e) { return 'carbon'; } } catch (e) { return 'slate'; }
} }
function applyTheme(t) { function applyTheme(t) {
THEMES.forEach(x => document.body.classList.remove('theme-' + x)); THEMES.forEach(x => document.body.classList.remove('theme-' + x));
@ -311,10 +311,10 @@
const cs = getComputedStyle(document.body); const cs = getComputedStyle(document.body);
const v = k => cs.getPropertyValue(k).trim(); const v = k => cs.getPropertyValue(k).trim();
return { return {
background: v('--terminal-bg') || '#0c0c0a', background: v('--terminal-bg') || '#0d1117',
foreground: v('--terminal-fg') || '#e8e3d6', foreground: v('--terminal-fg') || '#e6e8eb',
cursor: v('--terminal-cursor') || '#d4a574', cursor: v('--terminal-cursor') || '#4493f8',
selectionBackground: v('--terminal-selection') || 'rgba(255,255,255,0.2)' selectionBackground: v('--terminal-selection') || 'rgba(68,147,248,0.22)'
}; };
} }
applyTheme(getTheme()); applyTheme(getTheme());