mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
Michael Howell
34bc8fbea3
The CSS uses an inconsistent mix of both. This commit switches it to always use `src`.
31 lines
720 B
CSS
31 lines
720 B
CSS
/*
|
|
This whole CSS file is used only in case rustdoc is rendered with javascript disabled. Since a lot
|
|
of content is hidden by default (depending on the settings too), we have to overwrite some of the
|
|
rules.
|
|
*/
|
|
|
|
#main-content .attributes {
|
|
/* Since there is no toggle (the "[-]") when JS is disabled, no need for this margin either. */
|
|
margin-left: 0 !important;
|
|
}
|
|
|
|
#copy-path {
|
|
/* It requires JS to work so no need to display it in this case. */
|
|
display: none;
|
|
}
|
|
|
|
nav.sub {
|
|
/* The search bar and related controls don't work without JS */
|
|
display: none;
|
|
}
|
|
|
|
.src .sidebar {
|
|
display: none;
|
|
}
|
|
|
|
.notable-traits {
|
|
/* layout requires javascript
|
|
https://github.com/rust-lang/rust/issues/102576 */
|
|
display: none;
|
|
}
|