/* Dark theme styles */
body.dark-theme {
    --bg-color: #0d1117;
    --surface-color: #161b22;
    --text-color: #c9d1d9;
    --text-muted-color: #8b949e;
    --border-color: #30363d;
    --shadow-color: hsla(220, 40%, 5%, 0.3);
}

/* High contrast theme styles */
body.high-contrast-theme {
    --bg-color: #000;
    --surface-color: #111;
    --text-color: #fff;
    --text-muted-color: #ccc;
    --border-color: #444;
    --shadow-color: hsla(220, 40%, 5%, 0.5);
}