{"action":"created","issue":{"url":"https://api.github.com/repos/mkdocs/mkdocs/issues/467","labels_url":"https://api.github.com/repos/mkdocs/mkdocs/issues/467/labels{/name}","comments_url":"https://api.github.com/repos/mkdocs/mkdocs/issues/467/comments","events_url":"https://api.github.com/repos/mkdocs/mkdocs/issues/467/events","html_url":"https://github.com/mkdocs/mkdocs/issues/467","id":69661009,"number":467,"title":"Allow users to more easily customise code highlighting","user":{"login":"d0ugal","id":48211,"avatar_url":"https://avatars.githubusercontent.com/u/48211?v=3","gravatar_id":"","url":"https://api.github.com/users/d0ugal","html_url":"https://github.com/d0ugal","followers_url":"https://api.github.com/users/d0ugal/followers","following_url":"https://api.github.com/users/d0ugal/following{/other_user}","gists_url":"https://api.github.com/users/d0ugal/gists{/gist_id}","starred_url":"https://api.github.com/users/d0ugal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/d0ugal/subscriptions","organizations_url":"https://api.github.com/users/d0ugal/orgs","repos_url":"https://api.github.com/users/d0ugal/repos","events_url":"https://api.github.com/users/d0ugal/events{/privacy}","received_events_url":"https://api.github.com/users/d0ugal/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/mkdocs/mkdocs/labels/Enhancement","name":"Enhancement","color":"009800"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-04-20T19:20:39Z","updated_at":"2015-06-05T07:22:14Z","closed_at":null,"body":"Following [this discussion](https://groups.google.com/forum/#!topic/mkdocs/_aYYBMj7SMc) we should allow users to take control here. People are very specific about how they like this to be handled.\r\n\r\nCurrently all the default themes force the user to use highlight.js. Let's find a way to let them change that easily. Ideally this would be done without requiring another setting - one possible approch would be with template overriding."},"comment":{"url":"https://api.github.com/repos/mkdocs/mkdocs/issues/comments/109188211","html_url":"https://github.com/mkdocs/mkdocs/issues/467#issuecomment-109188211","issue_url":"https://api.github.com/repos/mkdocs/mkdocs/issues/467","id":109188211,"user":{"login":"d0ugal","id":48211,"avatar_url":"https://avatars.githubusercontent.com/u/48211?v=3","gravatar_id":"","url":"https://api.github.com/users/d0ugal","html_url":"https://github.com/d0ugal","followers_url":"https://api.github.com/users/d0ugal/followers","following_url":"https://api.github.com/users/d0ugal/following{/other_user}","gists_url":"https://api.github.com/users/d0ugal/gists{/gist_id}","starred_url":"https://api.github.com/users/d0ugal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/d0ugal/subscriptions","organizations_url":"https://api.github.com/users/d0ugal/orgs","repos_url":"https://api.github.com/users/d0ugal/repos","events_url":"https://api.github.com/users/d0ugal/events{/privacy}","received_events_url":"https://api.github.com/users/d0ugal/received_events","type":"User","site_admin":false},"created_at":"2015-06-05T07:22:14Z","updated_at":"2015-06-05T07:22:14Z","body":"Yup, that's correct. ```no-highlight``` will partially solve this. This issue is more about letting users customise the behaviour more generally - either to use a different highlighter or none at all. It seems people have particular choices when it comes to highlighting so whatever default we make wont work for everyone."}}