Michael Howell b9093f4008 rustdoc: remove no-op CSS #settings-menu { padding: 0 } ... This CSS was added in 5e01ba36c9, and served to override CSS right above it that set a 5px padding for several kinds of buttons in the same toolbar. The CSS that it overrode is still there, but now it only applies to `#settings-menu > a`, so there's nothing to override.		2022-09-08 10:34:57 -07:00
..
css	rustdoc: remove no-op CSS #settings-menu { padding: 0 }	2022-09-08 10:34:57 -07:00
fonts	Remove .woff font files	2022-04-21 13:07:21 +02:00
images	Improve crate selection on rustdoc search results page	2022-08-10 15:55:26 +02:00
js	rustdoc: remove empty extern_crates and type="text/javascript" on script	2022-08-26 15:00:20 -07:00
.eslintrc.js	Add "no-div-regex" eslint rule	2022-07-04 17:50:19 +02:00
COPYRIGHT.txt	Remove .woff font files	2022-04-21 13:07:21 +02:00
LICENSE-APACHE.txt	Make rustdoc output comply with licenses	2015-09-19 10:42:03 +01:00
LICENSE-MIT.txt	Make rustdoc output comply with licenses	2015-09-19 10:42:03 +01:00
scrape-examples-help.md	Add scrape examples help page	2022-03-27 18:11:57 -07:00