From 518a3490d6109be0d6f22a44297031bc118be1c3 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Fri, 5 Feb 2021 10:38:14 +0100
Subject: [PATCH] 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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- This image is based on the following work released into the public domain: -->
+<!-- - https://commons.wikimedia.org/wiki/File:Magnifying_glass_icon.svg        -->
+<svg xmlns="http://www.w3.org/2000/svg" width="490" height="490">
+<style>
+  <!-- "Bouncing ball red" stroke: -->
+  .bbRedStroke { stroke: #DE1D31 }
+</style>
+<path fill="none" class="bbRedStroke" stroke-width="36" stroke-linecap="round"
+d="m280,278a153,153 0 1,0-2,2l170,170m-91-117 110,110-26,26-110-110"/>
+</svg>