From 7a6de2de76474f8f0ae232ba2deaafe517292c80 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Sun, 8 Nov 2020 22:01:55 +0100
Subject: [PATCH] Remove unused and (basically) unmodified copy of LaTeXML CSS
 file

The only difference to the original file I can see is formatting of the CSS file itself.
---
 css/LaTeXML-navbar-right.css | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 css/LaTeXML-navbar-right.css

diff --git a/css/LaTeXML-navbar-right.css b/css/LaTeXML-navbar-right.css
deleted file mode 100644
index 8d2339e62..000000000
--- a/css/LaTeXML-navbar-right.css
+++ /dev/null
@@ -1,24 +0,0 @@
-/* CSS for right navigation bar */
-
-.ltx_page_navbar {
-  display: block!important;
-  position: fixed;
-  left: 80%;
-  top: 0px;
-  width: 20%;
-  margin: 0em;
-  padding: 1em;
-  font: bold 75% sans-serif;
-  overflow-y: auto;
-  max-height: 95vh;
-}
-
-.ltx_page_navbar ul {
-  margin-left: -2em;
-}
-
-.ltx_page_main {
-  margin: 0px;
-  padding: 1em 3em 1em 2em;
-  width: 75%;
-}