@ -451,7 +451,10 @@ function addServerIconInteractions() {
function addSearchInteractions() {
dom.toggle_search_checkbox()?.addEventListener('click', function (ev) {
if (this.checked) {
dom.search_bar()?.focus();
const searchBar = dom.search_bar();
searchBar?.focus();
// Inconsistent; attempt to align search bar to top to make more space for results.
searchBar?.scrollIntoView({ behavior: 'smooth', inline: 'start' });
} else {
useSearchTerm("");
}