Request to add change-font for html renderer

So currently, if you want to change the font in the HTML renderer, you have to edit the default CSS. Now, a better option would to allow selecting custom font from settings, for the HTML renderer.