From 5e116985ebbb23fa6891b7d9fe20bbd895093094 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Tue, 7 Nov 2017 22:44:18 +0100 Subject: [PATCH] Add "-" shortcut --- src/librustdoc/html/layout.rs | 2 +- src/librustdoc/html/static/main.js | 1 + src/librustdoc/html/static/rustdoc.css | 3 ++- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index 79eaabe31e8..8c14d1bbe8f 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -105,7 +105,7 @@ pub fn render(
Switch tab
Go to active search result
-
+
+
+ / -
Collapse/expand all sections
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index b1120e0af38..1d9bfa260bf 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -213,6 +213,7 @@ break; case "+": + case "-": ev.preventDefault(); toggleAllDocs(); break; diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 398a692f8df..599b032b630 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -582,13 +582,14 @@ body.blur > :not(#help) { display: block; margin-top: -1px; } -#help dd { margin: 5px 33px; } +#help dd { margin: 5px 35px; } #help .infos { padding-left: 0; } #help h1, #help h2 { margin-top: 0; } #help > div div { width: 50%; float: left; padding: 20px; + padding-left: 17px; } .stab { -- 2.44.0