This if block is no longer needed, since only Turtle was doing pretty printing and the stylesheets were all broken anyway, so we weren't really getting highlighting or anything. Toby and I decided to remove prettify.js, so this if will just always return false.

Otherwise, LGTM