function clear_(input) {
    output_.innerHTML = '';
    input.value = '';
    document.documentElement.style.height = '100%';
    interlace_.style.height = '100%';
  }
Clears the terminal

@param {HTMLInputElement} input The input element to clear