Improvements to the rendering of inline code

This further improves the rendering of inline code. (See #573)
Also simplified CSS by eliminating some redundant styling