Improve anti-aliasing on dark backgrounds

[cengels]

There is very noticeable aliasing on small, light fonts on dark backgrounds. To make dark themes more accessible, reducing this problem should be a top priority. Even on light backgrounds, the aliasing can be noticed.

One possibility includes experimenting with font shadows to create the appearance of smoothed text. Instead of or in addition to offering dedicated input boxes for customizing the shadows, it could just be a check box labeled "Improve font smoothing" with the tooltip "On dark backgrounds, this option can reduce jagged font edges at the cost of slightly blurring the text."