code example highlighting and other restyling