Closed vancura closed 7 years ago
Please don't merge yet, this change is bigger than I originally thought. See @sevoku's comment at https://github.com/mono/monodevelop/pull/2958#pullrequestreview-59542447.
Closing the issue for now. We'll fix font size problems case by case.
Pango’s
<small>
font size is too small, resulting in9pt
font. We can’t globally override this font size, so I replaced the tag with<span font=“11”>
.