I have the resource font set by default to maximize the amount of visible text on my screen. This is also across all devices. The Factbook font is linked to the resource font size. However, it is a bit harder to read because it is a good bit smaller. Is this a bug?