/* sequence_explorer.css — the term bars (highlighted up to n) reuse .lv-bar / .lv-bar-hi from
   _shared.css; this type adds no unique chrome. */