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
7 #main > h2 + div, #main > h2 + h3, #main > h3 + div {
15 #main > h2 + div, #main > h3 + div {
23 #main .impl-items .hidden {
24 display: block !important;
27 #main .impl-items h4.hidden {
28 /* Without this rule, the version and the "[src]" span aren't on the same line as the header. */
29 display: flex !important;
33 /* Since there is no toggle (the "[-]") when JS is disabled, no need for this margin either. */
34 margin-left: 0 !important;
38 /* It requires JS to work so no need to display it in this case. */