1
0
mirror of https://github.com/msberends/AMR.git synced 2025-07-08 10:31:53 +02:00

website fix

This commit is contained in:
2022-11-07 18:48:12 +01:00
parent 2d90218305
commit d2ceebe376
3 changed files with 4 additions and 4 deletions

View File

@ -33,7 +33,7 @@ $(document).ready(function() {
// Replace 'Developers' with 'Maintainers' on the main page, and "Contributors" on the Authors page
$(".developers h2").text("Maintainers");
$(".citation h2").text("Contributors");
$(".citation h2:first").text("All contributors");
// replace \donttest and \dontrun texts in Examples
if ($("#ref-examples ~ div pre").length > 0) {