/* Sammeldatei aller saisonalen Themes. Wird auf jeder Seite im <head> geladen.
   Die Regeln greifen nur, wenn js/season.js die passende Klasse
   (html.season-halloween / html.season-christmas) setzt – sonst ohne Wirkung.
   Neues Theme = hier eine @import-Zeile ergänzen. */
@import url("halloween.css");
@import url("christmas.css");