Zrobimy tak, żeby nie zepsuło, bo zależy mi na wsteczniej kompatybilności. Myślałem właśnie o takim rozwiązaniu, czyli od strony markdown zwykły znacznik kodu preformatowanego i jakiś skrypt jquery do koloryzowania.