/* Helper button off (SETTINGS-SPEC A2): js/prefs.js sets html[data-ai=off]. */

html[data-ai="off"] [data-ai-launcher]{display:none}