/* Phone menu: give the pressed navigation marker a little breathing room. */
@media (max-width:600px) {
  .pv-reference-dropdown .pv-reference-menu-primary a,
  .pv-reference-dropdown .pv-reference-menu-secondary a {
    position:relative;
    justify-self:start;
    width:max-content;
    margin-inline:-5px;
    padding-inline:5px;
    border-radius:2px;
    -webkit-tap-highlight-color:transparent;
  }

  .pv-reference-dropdown .pv-reference-menu-primary a:active,
  .pv-reference-dropdown .pv-reference-menu-secondary a:active {
    background:rgba(39,39,43,.055);
  }
}