/* Keep document history reachable while the production header is compressed. */
@media (min-width: 1050px) and (max-width: 1420px) {
  .tool-rail #mobileUndoButton,
  .tool-rail #mobileRedoButton {
    display: flex;
    flex: 0 0 auto;
    border-color: rgba(8, 127, 120, .46);
    background: rgba(255, 255, 255, .96);
    color: #194f55;
    scroll-snap-align: start;
  }

  .tool-rail #mobileUndoButton { order: -10; }
  .tool-rail #mobileRedoButton {
    order: -9;
    margin-right: 5px;
  }
}

@media (prefers-contrast: more) and (min-width: 1050px) and (max-width: 1420px) {
  .tool-rail #mobileUndoButton,
  .tool-rail #mobileRedoButton { border-width: 2px; }
}