Added a monokai theme from https://github.com/brianium/brianium.github.com/blob/master/css/pygments.css; added linenos to a highlight tag