Suggested change to increase font sizes. This uses 10.5pt as that seems to be a common size in the rest of the theme.
There are a still a few elements that are <10pt, but I didn't touch those as they weren't part of common components.
One problem this causes is that application labels will often not fit. Ideally, they should be able to be multi-line. Unfortunately I'm unable to figure out the Javascript/gnome-shell/Clutter layers to accomplish this.
Created attachment 201253
increase font sizes
Suggested change to increase font sizes. This uses 10.5pt as that seems to be a common size in the rest of the theme.
There are a still a few elements that are <10pt, but I didn't touch those as they weren't part of common components.
One problem this causes is that application labels will often not fit. Ideally, they should be able to be multi-line. Unfortunately I'm unable to figure out the Javascript/ gnome-shell/ Clutter layers to accomplish this.