Appearance
A tweaked Verdana font for Programming (100% or 125% text scaling version)
A HiDPI-friendly Verdana font alternative for Programming (150%+ text scaling version)