Hello @Ferran_Mazzanti,
The documentation is generated using Documenter.jl which takes Julia and Markdown and generates the HTML for it. There is an option to use LuaLaTeX to generate the documentation as a PDF. You could download the directory, edit the option and run it. However, I believe this should be offered in the website as soon as any outstanding issues with the documentation are addressed.