diff options
| author | bors <bors@rust-lang.org> | 2023-09-16 00:02:41 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-16 00:02:41 +0000 |
| commit | c48e6ffce55cde1256d0eb7a3dd305f723c7e502 (patch) | |
| tree | 42693bc63333b2fadb3253ddb301f76168d5aee4 /compiler/rustc_mir_transform/src | |
| parent | 20999de3a2f866a6006169c9bc188017aba79fcc (diff) | |
| parent | ab41e2b6dca05ba325f56f8af0eb811998197949 (diff) | |
| download | rust-c48e6ffce55cde1256d0eb7a3dd305f723c7e502.tar.gz rust-c48e6ffce55cde1256d0eb7a3dd305f723c7e502.zip | |
Auto merge of #115829 - notriddle:notriddle/rustdoc-theme-css-merge, r=GuillaumeGomez
rustdoc: merge theme css into rustdoc.css Based on https://github.com/rust-lang/rust/pull/115812#issuecomment-1717960119 Having them in separate files used to make more sense, before the migration to CSS variables made the theme files as small as they are nowadays. This is already how docs.rs and mdBook do it. WebPageTest comparison page: https://www.webpagetest.org/video/compare.php?tests=230913_AiDc3F_B9E,230913_AiDc7G_B9B Filmstrip comparison:  Old waterfall:  New waterfall: 
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions