eingebunden (index.php:945) — auch auf dem * Login-Screen, weil beide Seiten U::html_header() nutzen. Trotz .html-Endung ein * include, PHP läuft hier also (index.php:716). * * Nur der Marken-Skin: die eigentlichen Werte kommen aus tokens.css (einzige * Farbquelle), die Zuordnung zu den App-Variablen aus dateien.css. Beide stehen * nach der files.css der App und gewinnen deshalb. */ ?>