Use better fonts for PDF documentation generated on the ReadTheDocs
website.

Use 'git describe' command to indicate the version of the documentation,
based on the closest tag in the repository.