Change github source-code highlighting theme to Monokai