Prevent color change of visited definitions in code blocks#990

adql wants to merge 3 commits intoplfa:devplfa/plfa.github.io:devfrom

adql:issue-989adql/plfa.github.io:issue-989Copy head branch name to clipboard