diff options
| author | Michael Howell <michael@notriddle.com> | 2023-09-13 15:08:45 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-09-15 07:40:17 -0700 |
| commit | 7e86fd61e83717fc23b6141d2ba728aefbe5e168 (patch) | |
| tree | f7000c35bcea979c3ad564f488dbdb6c97842486 /compiler/rustc_mir_transform/src | |
| parent | cbccf800b85541187b3a8a17359c94c802e99748 (diff) | |
| download | rust-7e86fd61e83717fc23b6141d2ba728aefbe5e168.tar.gz rust-7e86fd61e83717fc23b6141d2ba728aefbe5e168.zip | |
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.
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions