<?php
/**
 * Wird von Files Gallery in den <head> 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.
 */
?>
<link rel="stylesheet" href="<?php echo e(asset('css/tokens.css')); ?>">
<link rel="stylesheet" href="<?php echo e(asset('css/dateien.css')); ?>">
