* (bug 10422) Change <pre> on CSS/JS pages to <div> and allow wikitext