/* Anchor numbered tabs -- see tabs.js for the markup contract.
   .anchor-tab-panel-hidden is only ever added by tabs.js, so with JS off every
   panel stays visible and the page degrades to one long document. */
.anchor-tab-panel-hidden { display: none !important; }

/* The rail is built from plain divs, so give it real affordances. */
.anchor-custom-tab[role="tab"] { cursor: pointer; }

.anchor-custom-tab[role="tab"]:focus-visible {
  outline: 2px solid #3c877f;
  outline-offset: -2px;
}

.anchor-custom-tab[aria-disabled="true"] {
  cursor: default;
  opacity: 0.5;
}