Thread:Icefirephoenix/@comment-38638602-20191121225804/@comment-38638602-20191126203720

I checked on the customization policy, it was not specific about whether we are allowed to change the font, so I believe it’s okay. The worst that could happen is they’ll tell us to remove the CSS.