Add a custom theme.
Fix the font sizes for pre and tt.