Improved pdf export of documentation.