Merge branch 'barry/2023-03-02/fix-sphinx-header-size' into 'main'Reduce the absurdly large font sizes for headings on the Sphinx websiteSee merge request petsc/petsc!6135
Apply 1 suggestion(s) to 1 file(s)
Reduce the absurdly large font sizes for headings on the Sphinx websiteCommit-type: documentation