Color inline code in html user guide.