/* VIP Cards are a first-class Market category again.  The old compatibility
   rule hid this button even though the current Market renderer owns it. */
#marketTabs [data-vip-market]{display:inline-flex}