20 lines
558 B
CSS
20 lines
558 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;
|
|
}
|
|
|
|
.sub {
|
|
/* The search bar and related controls don't work without JS */
|
|
display: none;
|
|
}
|