/* GERADO AUTOMATICAMENTE por scripts/eclipse_autotema.py em 22/09/2026 12:12 - NAO editar a mao.
   Ajuste fino vai em css/eclipse.css ou css/eclipse/p-<pagina>.css (que vencem este). */
@layer eclipse-auto {
html[data-tema="eclipse"] body.ec-dark .bm-rl{--be-claro:#10131B !important;--be-medio:#10131B !important;--be-escuro:#161B26 !important;--ma-claro:#B6BDCC !important;--ma-medio:#CBD0DA !important;--ma-escuro:#CBD0DA !important;--linha:#CBC2C5 !important;--linha-suave:#1C2230 !important;--atencao:#CBC2C5 !important;--alerta:#CBC2C5 !important}
html[data-tema="eclipse"] body.ec-dark .bm-rl-lang:hover{background:#10131B !important}
html[data-tema="eclipse"] body.ec-dark .bm-rl-search{background:#10131B !important}
html[data-tema="eclipse"] body.ec-dark .bm-rl-cat:hover{background:#10131B !important}
html[data-tema="eclipse"] body.ec-dark .bm-rl-sev{background:#10131B !important}
html[data-tema="eclipse"] body.ec-dark .bm-rl-ok,
html[data-tema="eclipse"] body.ec-dark .bm-rl-no{background:#10131B !important}
}