reduce font-size a little

accidentally had zoomed out, while changing it the last time.