src/librustdoc/html/static/css/noscript.css

   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
   7 #main .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 }