I was exporting a document as HTML today and noticed it had no style.
Apparently the output HTML uses the stylesheet at https://stackedit.io/style.css, and there’s a certificate issue on that server (which I find weird, because I can connect to stackedit.io just fine).
Furthermore, since the server has HSTS enabled, I can’t even grab the stylesheet code to manually insert it into the document.
How would I go about fixing that?