pmOS-tweaks/fenix-fox
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add @user0’s contributions as of 2023-08-14

Browse source
This commit is contained in:
@user0 2023-08-14 21:34:16 +02:00 • committed by Claudia Pellegrino
parent b436b28843
commit 53808dc807
No known key found for this signature in database
GPG key ID: 7AA67DE7B73139CE
10 changed files with 374 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

21
src/userChrome/alt-browser.css
View file

@ -30,14 +30,25 @@
order: 2;
}
/* Adjust menu popup spawn height */
#appMenu-popup {
margin-bottom: 20px !important;
/* Adjust Bookmarks Menu Popup spawn height and fix flickering */
#BMB_bookmarksPopup {
margin-bottom: 22px !important;
width: 100vw;
}
/* Adjust all-tabs popup spawn height */
/* Adjust Widget Overflow spawn height */
#widget-overflow {
padding-bottom: 30px !important;
}
/* Adjust App Menu Popup spawn height */
#appMenu-popup {
margin-bottom: 26px !important;
}
/* Adjust All-Tabs Popup spawn height */
#customizationui-widget-panel {
margin-bottom: 60px !important;
margin-bottom: 66px !important;
}
}

1
src/userChrome/appMenu.css
View file

@ -8,7 +8,6 @@
* the HTML, which we can't override via CSS. */
#appMenu-popup {
/*margin-top: -390px !important;*/
margin-bottom: 62px !important;
padding-left: 10px !important;
padding-right: 10px !important;
/*height: 310px;*/

21
src/userChrome/browser.css
View file

@ -25,4 +25,25 @@
max-height: unset !important;
}
/* Adjust Bookmarks Menu Popup spawn height and fix flickering */
#BMB_bookmarksPopup {
margin-bottom: 52px !important;
width: 100vw;
}
/* Adjust Widget Overflow spawn height */
#widget-overflow {
padding-bottom: 60px !important;
}
/* Adjust App Menu Popup spawn height */
#appMenu-popup {
margin-bottom: 56px !important;
}
/* Adjust All-Tabs Popup spawn height */
#customizationui-widget-panel {
margin-bottom: 20px !important;
}
}

5
src/userChrome/popups.css
View file

@ -60,10 +60,7 @@
height: calc(100vh - 80px) !important;
}
/* Fix widget overflow to fit ublock0_raymondhill_net-browser-action */
#widget-overflow {
padding-bottom: 25px !important;
}
/* fix widget overflow to fit ublock0_raymondhill_net-browser-action */
#widget-overflow-mainView {
height: 357px !important;
}

3
src/userChrome/tabmenu.css
View file

@ -47,7 +47,6 @@
* this menu is above the hamburger button that spawns the regular
* menu. */
/*margin-top: -360px !important;*/
margin-bottom: 15px !important;
padding-left: 10px !important;
padding-right: 10px !important;
/*height: 320px;*/
@ -83,5 +82,7 @@
/* Make sure tabs with long titles don't exceed the all tabs menu */
width: 0;
max-width: calc(100vw - 20px);
/* Fix padding */
padding-top: 2px !important;
}
}

2
src/userChrome/urlbar.css
View file

@ -19,7 +19,7 @@
/* #back-button */
#forward-button,
/* #reload-button */
#home-button,
/*#home-button,*/
#customizableui-special-spring1,
/* (urlbar) */
#customizableui-special-spring2,