/* Compatibility only: existing mirrored pages may retain this legacy URL. */
@import url("/css/theme.css");