better documentation typesetting
22px for doc nav bar
Merge pull request #7 from javers/fonts_improvements

better documentation typesetting