/* Legal pages — reuse desktop tokens */
@import url("desktop.css");