fixes: #7. Same font sizes everywhere.