From 1abb7e1ff965d361a7ca03f7c814b2f9211e7027 Mon Sep 17 00:00:00 2001
From: Alison Watson <marrub.xz@gmail.com>
Date: Fri, 12 Jul 2019 11:59:20 -0400
Subject: [PATCH] userChrome: fix indentation

---
 themes/userChrome.css | 34 +++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

diff --git a/themes/userChrome.css b/themes/userChrome.css
index 6ec6506..183bf9e 100644
--- a/themes/userChrome.css
+++ b/themes/userChrome.css
@@ -1,21 +1,21 @@
-@-moz-document url("chrome://browser/content/browser.xul") {
-   /* get rid of hamburgers */
-   #PanelUI-menu-button {
-      display: none;
-   }
+@-moz-document url("chrome://browser/content/browser.xul")  {
+	/* get rid of hamburgers */
+	#PanelUI-menu-button {
+		display: none;
+	}
 
-   /* hide top tabs (for sideberry) */
-   #TabsToolbar {
-      visibility: collapse !important;
-   }
+	/* hide top tabs (for sideberry) */
+	#TabsToolbar {
+		visibility: collapse !important;
+	}
 
-   /* hide sidebar top-menu */
-   #sidebar-header {
-      visibility: collapse;
-   }
+	/* hide sidebar top-menu */
+	#sidebar-header {
+		visibility: collapse;
+	}
 
-   /* change the border between the sidebar and the page */
-   #sidebar-splitter {
-      visibility: collapse;
-   }
+	/* change the border between the sidebar and the page */
+	#sidebar-splitter {
+		visibility: collapse;
+	}
 }