5 Commits (fa5a591757569136a444715cce2248b63ad73512)

Author SHA1 Message Date
Damien George 2bf6eb9fe2 docs: Add link to PDF version of docs in sidebar. 9 years ago
Damien George 37d5aa1377 docs: Make the short port names in the port/version sidebar lowercase. 9 years ago
Damien George 5b74bba3a3 docs: Add versions.html template and support code for a version sidebar. 9 years ago
Damien George 8cc8f280eb docs: Make index link point to "index.html" irrespective of port. 10 years ago
Damien George 9b561a7c0d docs: Add custom CSS file, with code for admonition. 10 years ago