/* Extras on top of ../css/style.css */
#dest { min-width: 240px; max-width: 340px; }
#search { min-width: 180px; }
.types { display: inline-flex; gap: 4px; flex-wrap: wrap; }
.bugrow { display: grid; grid-template-columns: 170px 1fr 70px; gap: 8px; align-items: center; font-size: 13px; margin: 4px 0; }
.big10 { font-size: 34px; font-weight: 700; font-variant-numeric: tabular-nums; }
.links a { margin-right: 12px; }
@media (max-width: 900px) {
  #dest, #search { min-width: 0; width: 100%; max-width: none; }
}