]>
Commit | Line | Data |
---|---|---|
fc512014 XL |
1 | /* |
2 | This whole CSS file is used only in case rustdoc is rendered with javascript disabled. Since a lot | |
3 | of content is hidden by default (depending on the settings too), we have to overwrite some of the | |
4 | rules. | |
5 | */ | |
6 | ||
a2a8927a | 7 | #main-content .attributes { |
6a06907d XL |
8 | /* Since there is no toggle (the "[-]") when JS is disabled, no need for this margin either. */ |
9 | margin-left: 0 !important; | |
10 | } | |
cdc7bbd5 XL |
11 | |
12 | #copy-path { | |
13 | /* It requires JS to work so no need to display it in this case. */ | |
14 | display: none; | |
15 | } | |
3c0e092e | 16 | |
2b03887a | 17 | nav.sub { |
3c0e092e XL |
18 | /* The search bar and related controls don't work without JS */ |
19 | display: none; | |
20 | } | |
2b03887a FG |
21 | |
22 | .source .sidebar { | |
23 | display: none; | |
24 | } | |
487cf647 FG |
25 | |
26 | .notable-traits { | |
27 | /* layout requires javascript | |
28 | https://github.com/rust-lang/rust/issues/102576 */ | |
29 | display: none; | |
30 | } |