Pretty
These web pages display CBS with mathematical typography rendered using KaTeX and the CBS-KaTeX macro package.
Names are highlighted, and name references are hyperlinked to declarations. Links to related pages support navigation between specifications.
PDFs corresponding closely to the Pretty web pages are generated from the same sources using the CBS-LaTeX macro package.