minor tweak to inline code font size