On Monday, October 27, 2025 at 6:39:18 PM UTC+1 [email protected] wrote: Of course! The whole website is served out of github repos, so you just need to PR to those. The majority of the static part of the website is located at https://github.com/metamath/metamath-website-seed/ ; you probably want to modify https://github.com/metamath/metamath-website-seed/blob/main/index.html or https://github.com/metamath/metamath-website-seed/blob/main/other.html (corresponding to https://us.metamath.org/index.html and https://us.metamath.org/other.html respectively) depending on how much we want to push users to use it. If you send a PR we can discuss it there; link to it from here so others can follow along.
I have created a pull request here: https://github.com/metamath/metamath-website-seed/pull/33 Best regards, Marlo Bruder -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/8eb3afb2-489c-45de-8a6d-27eef196d185n%40googlegroups.com.
