dial back the importance of numeric font weights

Again, thanks to DejaVu Sans which lumps every shape together in one font family.