Function hideOverlay

src/server/web/public/terminal.js:8929–8932

(el)

}
function showOverlay(el) {
  el.classList.remove("hidden");
  el.classList.add("visible");
}
function hideOverlay(el) {
  el.classList.remove("visible");
  el.classList.add("hidden");
}