/* Theme override stylesheet — empty in the default theme.
   Other themes ship their own theme.css to redefine CSS variables
   (in themes/<name>/static/css/theme.css) without duplicating style.css. */