1. A workaround to enable the (unfinished) feature is at the top of this bug in the Bug Description.
2. An alternative solution, which I've found works fine for many systems (lower than 3K resolution) is: gnome-tweaks > Fonts > Interface > choose your own font size(s)
Note to all readers:
1. A workaround to enable the (unfinished) feature is at the top of this bug in the Bug Description.
2. An alternative solution, which I've found works fine for many systems (lower than 3K resolution) is: gnome-tweaks > Fonts > Interface > choose your own font size(s)