Are you sure Gunnar that we use coderay? The docs I am pretty sure are using highlightjs (that's the pressgang stuff).