Style.css broken?


#1

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?