Tweak the font size of code elements in doc.  Fix #1813.
Merge pull request #1822 from AnalyticalGraphicsInc/issue1813

Tweak the font size of code elements in doc.  Fix #1813.