Show HTML footer link to document index as magnifying glass in page t…

…op right corner

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 {