I have found an issue related to font sizes when I use Styles within HTML documents. Below you find a small program that reproduces this. Basically, what happens is that if I set the font size for a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback