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