Change base font size. Rename pygments style file.
Apply small refactorings to gmzblue theme.