From e5c24ba400b2744455868c2ac4292d8ee3b1b0be Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Wed, 7 Jul 2021 14:27:54 +0200 Subject: Clean up rustdoc static files --- src/librustdoc/html/static/css/noscript.css | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 src/librustdoc/html/static/css/noscript.css (limited to 'src/librustdoc/html/static/css/noscript.css') diff --git a/src/librustdoc/html/static/css/noscript.css b/src/librustdoc/html/static/css/noscript.css new file mode 100644 index 00000000000..0a196edd53b --- /dev/null +++ b/src/librustdoc/html/static/css/noscript.css @@ -0,0 +1,15 @@ +/* +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 .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; +} -- cgit 1.4.1-3-g733a5