/* The dev tools' links and the local model's option are serve.py's (army-site.js): hidden until the page knows it is
   on this Mac or its Wi-Fi, so the public site (ultimate.army) never shows them, not even for a frame. */
:root:not([data-site="local"]) [data-dev] { display: none !important; }