@media (max-width: 840px) {
  .icon-command { display: inline-block !important; }
  .nav-actions { flex-wrap: wrap; justify-content: flex-end; }
  .nav-actions button { min-height: 36px; }
  .workbench { width: 100%; min-width: 0; }
  .controls, .results { width: 100%; min-width: 0; }
}