From 873ec571e0d2540b6838ce81e42f4310961acfff Mon Sep 17 00:00:00 2001
From: gzagatti <gzagatti@users.noreply.github.com>
Date: Wed, 21 Dec 2022 18:56:40 -0300
Subject: [PATCH] show address bar on hover.

---
 vivaldi/userChrome.css | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/vivaldi/userChrome.css b/vivaldi/userChrome.css
index 84bf5f7..81cf7d9 100644
--- a/vivaldi/userChrome.css
+++ b/vivaldi/userChrome.css
@@ -1 +1,22 @@
-#header { display: none; }
+/*
+  enable support; vivaldi://experiments/ > "Allow for using CSS modifications"
+  debug; vivaldi://inspect/#apps
+  load css; settings > "Appearance" > "Custom UI Modifications" > "Select Folder"
+  https://gabevilela.vivaldi.net/2020/12/26/guide-customizing-vivaldis-ui-with-css-mods/
+
+*/
+#header {
+  display: none;
+}
+
+.mainbar {
+  opacity: 0;
+  height: 0;
+  min-height: 10px;
+}
+
+.mainbar:hover {
+  opacity: 1;
+  height: initial;
+  min-height: 40px !important;
+}