online docs

Several optimizations to keep the online docs at https://nicegui.io available.
Thanks for all the visits to our page. It really points out opportunities to improve the performance.