Pygments to highlight code from the serverside, with a simple shortcode on WordPress.