/* MARTUESD-ALT campus stylesheet — this site's theme tokens plus any overrides
   specific to it. The shared design system loads from the master
   common_files/main.css through the per-campus CMS toggle. */
@import url("theme_settings/theme_settings.css");