From f69b6bfed9f0fbde0908abdfb56323f3b6e3762f Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Tue, 26 Jan 2021 08:13:58 +0100 Subject: [PATCH 1/5] Remove HTML footer links to bibliography and index --- css/MLS-navbar-left.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css index 68c969d09..41d273f83 100644 --- a/css/MLS-navbar-left.css +++ b/css/MLS-navbar-left.css @@ -62,6 +62,14 @@ nav > div.ltx_TOC { display: none; /* Don't show link to previous chapter. */ } +.ltx_page_footer a[rel=bibliography] { + display: none; /* Don't show link to bibliography. */ +} + +.ltx_page_footer a[rel=index] { + display: none; /* Don't show link to index. */ +} + .ltx_TOC { padding-right: 1em; overflow-y: auto; From b181594d4ea8d8eec21a2dc3619c9301d3566b88 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Fri, 5 Feb 2021 10:38:14 +0100 Subject: [PATCH 2/5] Show HTML footer link to document index as magnifying glass in page top right corner --- css/MLS-navbar-left.css | 26 +++++++++++++++++++++++++- css/Magnifying_glass_icon.svg | 11 +++++++++++ 2 files changed, 36 insertions(+), 1 deletion(-) create mode 100644 css/Magnifying_glass_icon.svg diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css index 41d273f83..e135317dc 100644 --- a/css/MLS-navbar-left.css +++ b/css/MLS-navbar-left.css @@ -66,8 +66,32 @@ nav > div.ltx_TOC { display: none; /* Don't show link to bibliography. */ } +.ltx_page_footer a[rel=index]:before { + display: inline-block; + content: ""; + height: 1.5rem; /* Same as .ltx_page_header. */ + width: 1.5rem; + padding: 0.5rem; /* Same as y-direction in .ltx_page_header. */ + margin: 0px; + border-style: solid; + border-color: #707A85; /* "Bouncing ball trace gray" */ + border-width: 0px; + border-left-width: 8px; + background-image: url("Magnifying_glass_icon.svg"); + background-position: center; + background-repeat: no-repeat; + background-size: 25px 25px; +} + .ltx_page_footer a[rel=index] { - display: none; /* Don't show link to index. */ + position: fixed; + z-index: 4; + top: 0px; + right: 0px; +} + +.ltx_page_footer a[rel=index] span { + display: none; /* Don't display the "Index" text; we have added a magnifying glass instead. */ } .ltx_TOC { diff --git a/css/Magnifying_glass_icon.svg b/css/Magnifying_glass_icon.svg new file mode 100644 index 000000000..36ee4389f --- /dev/null +++ b/css/Magnifying_glass_icon.svg @@ -0,0 +1,11 @@ + + + + + + + From e343cc0204f5e50c806a3d275925a611e5db97d6 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Mon, 8 Feb 2021 11:05:06 +0100 Subject: [PATCH 3/5] Fine tune padding for correct centering of page header content --- css/MLS-navbar-left.css | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css index e135317dc..25b920e34 100644 --- a/css/MLS-navbar-left.css +++ b/css/MLS-navbar-left.css @@ -139,7 +139,12 @@ nav > div.ltx_TOC { z-index: 3; top: 0px; height: 1.5rem; - padding: 0.5rem 1rem; + padding-top: 0.5rem; + padding-bottom: 0.5rem; + padding-left: 0rem; + /* Add right padding corresponding to part being covered by magnifying glass. + */ + padding-right: calc(1.5rem + 2 * 0.5rem + 8px); background: #F6F6F6; /* Same as body. */ color: black; /* Same as side bar. */ white-space: nowrap; @@ -177,7 +182,7 @@ nav > div.ltx_TOC { height: 100%; } .ltx_page_header { - width: calc(100% - 350px - 2em); /* Subtract 2em for the total horizontal padding on this element. */ + width: calc(100% - 350px - (1.5rem + 2 * 0.5rem + 8px)); /* Subtract total horizontal padding on this element. */ } .ltx_page_navbar:before { display: none; @@ -204,8 +209,8 @@ nav > div.ltx_TOC { height: calc(100% - 20px); } .ltx_page_header { - padding-left: 4rem; - width: calc(100% - (4rem + 1rem)); /* Subtract horizontal padding on this element. */ + padding-left: 3rem; + width: calc(100% - 3rem - (1.5rem + 2 * 0.5rem + 8px)); /* Subtract horizontal padding on this element. */ } .ltx_page_navbar:hover { left: 0px; From ef397d6c8d98e1f48a88e5737615f8c78fe57ecd Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Tue, 9 Feb 2021 07:32:16 +0100 Subject: [PATCH 4/5] Avoid current HTML jump target being hidden behind page header --- css/MLS-navbar-left.css | 13 ++++++++++++- css/MLS.css | 5 ++--- 2 files changed, 14 insertions(+), 4 deletions(-) diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css index 25b920e34..ba10ca7d6 100644 --- a/css/MLS-navbar-left.css +++ b/css/MLS-navbar-left.css @@ -147,13 +147,24 @@ nav > div.ltx_TOC { padding-right: calc(1.5rem + 2 * 0.5rem + 8px); background: #F6F6F6; /* Same as body. */ color: black; /* Same as side bar. */ + border-bottom-color: #DE1D31; /* "Bouncing ball red" */ + border-bottom-width: 2px; white-space: nowrap; text-overflow: ellipsis; } +/* Make current jump target appear below the page header instead of behind it. + */ +:target:before { + visibility: hidden; + content: "X"; /* Hidden, but needs to be non-empty to work in Chrome. */ + display: block; + position: relative; + top: calc(-(2.5rem + 2px)); /* Offset by total height of .ltx_page_header. */ +} + .ltx_page_content { padding: 1rem; - margin-top: 1.5rem; /* Header height plus padding below, minus a little bit. */ background: white; } diff --git a/css/MLS.css b/css/MLS.css index e69ebeccf..5a49feb6b 100644 --- a/css/MLS.css +++ b/css/MLS.css @@ -15,9 +15,8 @@ body { a { text-decoration: none; color: inherit; } a:hover { text-decoration: underline; } -.ltx_page_header { - border-bottom-color: #DE1D31; /* "Bouncing ball red" */ - border-bottom-width: 2px; +.ltx_title_chapter { + padding-top: 2rem; } .ltx_tocentry_subsection { display: none; } From a32411eff2572f396c09b2ad4487a9654778f801 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Fri, 19 Feb 2021 09:33:27 +0100 Subject: [PATCH 5/5] Fine tune padding at top of HTML pages Addressing change requested by Hans in review comment. --- css/MLS-navbar-left.css | 5 ++++- css/MLS.css | 4 ++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css index ba10ca7d6..effb2b307 100644 --- a/css/MLS-navbar-left.css +++ b/css/MLS-navbar-left.css @@ -164,7 +164,10 @@ nav > div.ltx_TOC { } .ltx_page_content { - padding: 1rem; + padding-top: 2rem; + padding-bottom: 1rem; + padding-left: 1rem; + padding-right: 1rem; background: white; } diff --git a/css/MLS.css b/css/MLS.css index 5a49feb6b..0b475cfea 100644 --- a/css/MLS.css +++ b/css/MLS.css @@ -15,8 +15,8 @@ body { a { text-decoration: none; color: inherit; } a:hover { text-decoration: underline; } -.ltx_title_chapter { - padding-top: 2rem; +.ltx_titlepage { + padding-top: 2rem; /* The big Modelica Language logo doesn't look good too close to page header. */ } .ltx_tocentry_subsection { display: none; }