/* Hover utilities: the mockup's `style-hover="..."` attribute, as CSS.
   ---------------------------------------------------------------------
   The mockup's runtime turns `style-hover="background:var(--sunken)"` into a
   pointer-driven inline style override. There are 101 such sites in
   `03-markup.html.txt` carrying 20 distinct declarations, and each one becomes
   one class here.

   EVERY DECLARATION CARRIES `!important`, AND THAT IS LOAD-BEARING.
   81 of the 101 sites already set the same property in the element's own
   inline `style` attribute, and an inline style outranks any selector no matter
   how specific. Without `!important` those rules parse, match, and do nothing:
   the hover silently vanishes and nothing errors. `tests/template_hygiene.rs`
   asserts the `!important` on every declaration in this file rather than
   trusting a reader to notice a missing one.

   Class map, in descending order of use. The count is the number of
   `style-hover` sites in the mockup carrying that declaration; a later screen
   port may legitimately add sites the mockup expressed another way.

     declaration                                        class              sites
     background:var(--sunken)                           .hv-sunken            34
     background:var(--btn-bg-h)                         .hv-btn               19
     color:var(--ink)                                   .hv-ink               12
     background:var(--side-hover)                       .hv-side               9
     background:var(--surface-2)                        .hv-surface-2          3
     background:var(--head-btn-hover)                   .hv-head-btn           3
     background:var(--err-bg)                           .hv-err-bg             3
     opacity:1                                          .hv-opaque             2
     border-color:var(--line-2)                         .hv-line-2             2
     background:var(--warn-bg)                          .hv-warn-bg            2
     background:var(--ok-bg)                            .hv-ok-bg              2
     background:rgba(255,255,255,.1)                    .hv-white-10           2
     color:#FFFFFF                                      .hv-white-ink          1
     border-color:var(--ink-3)                          .hv-ink-3              1
     background:rgba(255,255,255,.08)                   .hv-white-08           1
     background:rgba(255,255,255,.07)                   .hv-white-07           1
     background:rgba(214,69,69,.28);color:#FFD5D5       .hv-danger-strong      1
     background:rgba(214,69,69,.25)                     .hv-danger             1
     background:#FFFFFF                                 .hv-white              1
     background:#1B2A54                                 .hv-navy               1

   The four literal colours and the four `rgba(255,255,255,...)` values are the
   mockup's own; they sit on surfaces that are the same colour in both themes
   (the navy brand panel, the wallboard, the SSH terminal), which is why they
   are not tokens. They are copied rather than tokenised. */

.hv-sunken:hover        { background: var(--sunken) !important; }
.hv-btn:hover           { background: var(--btn-bg-h) !important; }
.hv-ink:hover           { color: var(--ink) !important; }
.hv-side:hover          { background: var(--side-hover) !important; }
.hv-surface-2:hover     { background: var(--surface-2) !important; }
.hv-head-btn:hover      { background: var(--head-btn-hover) !important; }
.hv-err-bg:hover        { background: var(--err-bg) !important; }
.hv-opaque:hover        { opacity: 1 !important; }
.hv-line-2:hover        { border-color: var(--line-2) !important; }
.hv-warn-bg:hover       { background: var(--warn-bg) !important; }
.hv-ok-bg:hover         { background: var(--ok-bg) !important; }
.hv-white-10:hover      { background: rgba(255,255,255,.1) !important; }
.hv-white-ink:hover     { color: #FFFFFF !important; }
.hv-ink-3:hover         { border-color: var(--ink-3) !important; }
.hv-white-08:hover      { background: rgba(255,255,255,.08) !important; }
.hv-white-07:hover      { background: rgba(255,255,255,.07) !important; }
.hv-danger-strong:hover { background: rgba(214,69,69,.28) !important; color: #FFD5D5 !important; }
.hv-danger:hover        { background: rgba(214,69,69,.25) !important; }
.hv-white:hover         { background: #FFFFFF !important; }
.hv-navy:hover          { background: #1B2A54 !important; }