theme: use relative font sizes

gwillemsrequested to merge
gwillems/gtk:default_theme_relative_font_sizes into main

This allows text to properly scale when changing the default font size.

Users with a 10pt default font size shouldn't see any difference.

Merge request reports