Various style tweaks to increase legibility

Including increasing the contrast in the CLI theme by making the text
lighter in color, increasing the font sizes in all themes a bit, and
changing CLI's font to the Anonymous Pro webfont