/* Keep the history usable with a mouse on desktop and with page scrolling on touch. */
.history-list {
  min-height: 0;
  overflow-y: auto;
  -webkit-overflow-scrolling: touch;
  overscroll-behavior: contain;
  touch-action: pan-y;
}

@media (max-width: 760px) {
  .history-list {
    max-height: none;
    overflow-y: visible;
    padding-right: 0;
    scrollbar-gutter: auto;
    overscroll-behavior: auto;
  }
}