Smaller font for embedded code snippets, reduce chance of fugly wrapping