Michael Howell 7e86fd61e8 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.		2023-09-15 07:40:17 -07:00
..
Makefile	rustdoc: merge theme css into rustdoc.css	2023-09-15 07:40:17 -07:00
foo.rs	Replace `id` attribute with `name` for `<meta>` tag	2023-06-27 23:22:44 +02:00