[typetools/checker-framework] 614426: Improve HTML style

[Michael Ernst]

Branch: refs/heads/html-meta-trailing-slash
Home: https://github.com/typetools/checker-framework
Commit: 614426471699f8e63a5a5e0fd94c06b8e0059da8
https://github.com/typetools/checker-framework/commit/614426471699f8e63a5a5e0fd94c06b8e0059da8
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/developer/developer-manual.html
M docs/developer/gsoc-ideas.html
M docs/developer/new-contributor-projects.html

Log Message:
-----------
Improve HTML style



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications