Restyle headers in documentation