/* tips.css — DEPRECATED. Rules folded into components.css (tokenized) 2026-06-10.
   #hintbox / .hintanchor / .reqd now live in components.css. This file is kept
   only so existing URI_ZONES CSS lists don't 404; remove on the framestack merge. */