J.D. Fitz.Gerald d939c4790e updated highlight.js to v8.0 vor 10 Jahren
..
css d939c4790e updated highlight.js to v8.0 vor 10 Jahren
font 0337193790 remove duplicate fonts, tidy up font names (#103) vor 12 Jahren
js e693717f2a update syntax highlight after editing (#210), move markdown and highlight scripts from lib to plugin vor 12 Jahren