Updating the fonts on documentation.html