use the same font for pre / code as in the reference documentation
introduce an "improve this doc" button, leading to the github pages so people can contribute and help improve the website