Greatly reduce page size#2218

GuillaumeGomez wants to merge 1 commit into

rust-lang:mainrust-lang/docs.rs:mainfrom

GuillaumeGomez:reduce-pages-sizeGuillaumeGomez/docs.rs:reduce-pages-sizeCopy head branch name to clipboard