downloadHTML.js

    const mimeType = 'text/plain';
    const filename = JSON.parse(localStorage.getItem('pads'))[JSON.parse(localStorage.getItem('selected_pad')).id].content.substring(0,8)
    const elId = "typing" 
    const elHtml = document.getElementById(elId).innerHTML;
    if (navigator.msSaveBlob) {
        navigator.msSaveBlob(new Blob([elHtml], { type: mimeType + ';charset=utf-8;' }), filename);
    } else {
      const link = document.createElement('a');

      link.setAttribute('download', filename);
      link.setAttribute('href', 'data:' + mimeType  +  ';charset=utf-8,' + encodeURIComponent(elHtml));
      link.click();
    }