/**
* Paleta de marca — Marco A. Montes.
* Fuente única de los colores del sitio: cambia un valor aquí y se
* actualiza en todas las páginas que enlazan este archivo (basta con
* agregar en el ).
*
* Algunas páginas (curso.php, admin/admin.php) definen además tokens
* propios de esa pantalla (--ok, --warn, --surface-2, etc.) — esos se
* quedan en el