Need help with a holiday card generator I am building

how do i set the save button in this form to save the html in the card container on clients side to an external html file within users device .
https://codepen.io/dikdollan-the-typescripter/full/dypVpVq