From 0407abc78891cb1df6fec9c26f00a1f9153cc17f Mon Sep 17 00:00:00 2001 From: Karl Stolley Date: Thu, 18 May 2023 08:57:04 -0500 Subject: [PATCH] help_pages: Improve anchor highlights. These changes ensure that only headings targeted by URL fragments are highlighted in full. Div elements will have their immediate first child element highlighted instead (e.g., the first element of an API parameter box). --- web/styles/portico/portico.css | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/web/styles/portico/portico.css b/web/styles/portico/portico.css index 803f5cb986..48ad7f0e50 100644 --- a/web/styles/portico/portico.css +++ b/web/styles/portico/portico.css @@ -253,6 +253,16 @@ html { & .scroll-target { /* Match to where simplebar scrolls */ scroll-margin-top: 20px; + } + /* Highlight the headings as well as the first child + of any targeted div, as in the API documentation. */ + & h1.scroll-target, + & h2.scroll-target, + & h3.scroll-target, + & h4.scroll-target, + & h5.scroll-target, + & h6.scroll-target, + & div.scroll-target > :first-child { /* Increase the highlighted space around the text... */ padding: 6px 8px; border-radius: 7px 7px 0 0;