en Copyright 2025 Java http://opengrok.kc2vjw.com:8080/history/petsc/doc/_static/css/custom.css#52f036e73a525e924427da46dc4cf1146f5a1e89 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 List of files: /petsc/doc/_static/css/custom.css Fri, 03 Mar 2023 21:27:11 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/_static/css/custom.css#384b7b9a0af52559b340288f2c9f980282dda931 Apply 1 suggestion(s) to 1 file(s) List of files: /petsc/doc/_static/css/custom.css Fri, 03 Mar 2023 16:03:09 +0000 Jose E. Roman <jroman@dsic.upv.es> http://opengrok.kc2vjw.com:8080/history/petsc/doc/_static/css/custom.css#7c561f0977de51325d9fcc8e06f17306dbb264cc Reduce the absurdly large font sizes for headings on the Sphinx websiteCommit-type: documentation List of files: /petsc/doc/_static/css/custom.css Thu, 02 Mar 2023 23:12:13 +0000 Barry Smith <bsmith@mcs.anl.gov>