Build #2 (Oct 15, 2020, 9:50:42 AM)

1. Adjust syntax highlighting colors (details / githubweb)
2. Make plain 'keyword' style pop out in bright red (should never be seen) (details / githubweb)
3. Add commented-out attempt at getting nice listings comments in PDF build (details / githubweb)
4. Tone down the semicolon (details / githubweb)
5. Use the hyperref 'hidelinks' option to avoid distracting links (details / githubweb)

Pull request #2690 updated at 9:50:30 AM on Oct 15, 2020

• PR-2690