From f82d9b22566d306924dc2a7e0e1a119988c690ed Mon Sep 17 00:00:00 2001 From: Takayuki Maeda Date: Fri, 26 Feb 2021 05:31:01 +0900 Subject: [PATCH 1/2] explain what esc does --- src/librustdoc/html/static/main.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 6da3b54289b2a..912826a49e46b 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -2913,6 +2913,7 @@ function defocusSearchBar() { ["⏎", "Go to active search result"], ["+", "Expand all sections"], ["-", "Collapse all sections"], + ["esc", "Close the search view"], ].map(function(x) { return "
" + x[0].split(" ") From 078c26ae497d7629c6dffd1bcc282bb1ad1c84db Mon Sep 17 00:00:00 2001 From: Takayuki Maeda Date: Fri, 26 Feb 2021 18:43:20 +0900 Subject: [PATCH 2/2] add other descriptions --- src/librustdoc/html/static/main.js | 2 +- src/librustdoc/html/static/rustdoc.css | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 912826a49e46b..86edcff236f70 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -2913,7 +2913,7 @@ function defocusSearchBar() { ["⏎", "Go to active search result"], ["+", "Expand all sections"], ["-", "Collapse all sections"], - ["esc", "Close the search view"], + ["esc", "

Close the search view,

Remove the query parameters from the URL,

Close the help popup,

Close the theme list if open,

Blur the focus from the search input

"], ].map(function(x) { return "
" + x[0].split(" ") diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 56f17b7a616cd..307aa1cf0075a 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -798,7 +798,6 @@ body.blur > :not(#help) { float: left; clear: left; display: block; - margin-right: 0.5rem; } #help > div > span { text-align: center; @@ -809,7 +808,7 @@ body.blur > :not(#help) { padding-bottom: 4px; margin-bottom: 6px; } -#help dd { margin: 5px 35px; } +#help dd { margin: 5px 35px 5px 50px; } #help .infos { padding-left: 0; } #help h1, #help h2 { margin-top: 0; } #help > div div {