/* Generated by scripts/convert-design.mjs - do not edit by hand. */
.hv1:hover{border-color:var(--border-strong)!important}
.hv2:hover{color:var(--accent)!important}
.hv3:hover{background:var(--accent-h)!important}
.hv4:hover{background:var(--ghost-hover)!important}
.hv5:hover{background:rgba(255,255,255,.12)!important}
.hv6:hover{background:#186224!important}
.hv7:hover{border-color:rgba(31,122,46,.5)!important}
.hv8:hover{background:var(--green-h)!important}
.hv9:hover{background:var(--surface-hover)!important}