marrub
/
scripts
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

userChrome: fix indentation

master
an 2019-07-12 11:59:20 -04:00
parent d5bf64d0de
commit 1abb7e1ff9
1 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
themes/userChrome.css
View File

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