The lack of
tags may be harming SEO (I'm thinking of people looking for Administrate's documentation).There's also the matter that each page has two h1s, but that's another matter and can be treated separately.
Admittedly, my solution is a bit dirty. Is it worth my spending a bit more time to make it more presentable? Do you have any ideas?