/* php-other-style.css — css-manager.php (Other tab) — SITE_CSS_SCOPE=other */