Bump documentation font size down one notch