/* Stand-in, 4 October 2026: the site stylesheet is now /hwc.css.
   Pages still linking to this old name get the current stylesheet through this line.
   Remove once no page links to this name. */
@import url("/hwc.css");