Post by @andypiper

Oh, just found the GNOME appearance setting, quite nice.