Smaller font for pages numbers in toc for docs, introduces versioning for custom JS files to avoid cache problems