[fix] widget/scrollhtmlwidget: default_font_size same as infofont and Screen:scaleBySize() (#4864)
[fix] widget/scrollhtmlwidget: default_font_size same as infofont and Screen:scaleBySize() (#4864)

Otherwise it's:

1. Too small on virtually all devices due to a lack of scaling.
2. Unusably small by default.

It's currently scaled by the callers (dictquicklookup & footnotewidget) based on other properties, but you shouldn't have to change it from the default just to get something usable. ;-)
Frenzie/koreader,NiLuJe/koreader,Hzj-jie/koreader,koreader/koreader,pazos/koreader,Markismus/koreader,mihailim/koreader,Frenzie/koreader,koreader/koreader,poire-z/koreader,NiLuJe/koreader,houqp/koreader,mwoz123/koreader,poire-z/koreader