Write custom stylesheet for markdown introductions
Currently the markdown adopts the same style as the rest of the document, which is good, but this means markdown titles for example easily get larger than the manual's title. Their size should be reduced.