Since upgrading to "Pixel", I notice that some fonts have changed; the terminal says it's using "Monospace 10" as before, but it has changed. Manually selecting DejaVu Sans Mono appears visually to revert it.
There's also been a change to the default "Sans serif" font... I think! It doesn't look the same as before, but I can't find what it was before.
Is there a list of font changes somewhere? And is there a way I can revert the fonts? E.g. the font in the CPU monitor widget isn't the same... and it's bugging me!!!