/* generated by tools/gen_lang_theme.py: ocean base values (the platform default); ai_themes.css changes them per theme */
html[data-theme]{--bg:#0a1324;--panel:#101c33;--panel2:#16254a;--line:#243459;--ink:#e9f0ff;--mut:#93a5cb;--acc:#38bdf8;--acc2:#a78bfa;--ok:#34d399;--bad:#f87171;--warn:#fbbf24}