Commit graph

13 commits

Author SHA1 Message Date
MrOtherGuy
8528b55888 remove border around manage buttonbox and add them background, fixes #119 2021-06-20 07:23:14 +03:00
MrOtherGuy
f9fc50e329 Make addons manager styles apply to about:addons 2021-02-22 05:24:52 +02:00
MrOtherGuy
1b0e062dce Remove duplicate comment 2020-06-23 21:01:38 +03:00
MrOtherGuy
d37d2e0cd3 use correct image path for settings button 2020-06-05 08:49:07 +03:00
MrOtherGuy
84ec1414dd Add source/license notices 2020-05-22 08:13:58 +03:00
MrOtherGuy
e2f5217194 Don't hide plugin control buttons 2020-03-07 00:42:46 +02:00
MrOtherGuy
4a3ec8ae3d Compatibility selector for Firefox 72 2019-11-23 17:19:37 +02:00
MrOtherGuy
21eabcfc38 Exclude global more-options panel from changes 2019-11-07 00:11:31 +02:00
MrOtherGuy
f13cf6b317 limit button styles to role=menuitem 2019-11-06 13:55:39 +02:00
MrOtherGuy
d0631c6ee2 Make the left padding a bit smaller on manage buttons 2019-11-06 13:40:12 +02:00
MrOtherGuy
0ec813a615 Forcibly remove backdrop-filter from panel-list 2019-11-05 10:30:11 +02:00
MrOtherGuy
3908ea60f8 Fix some minor issues with description 2019-11-05 10:03:02 +02:00
MrOtherGuy
0a860d16fd new file 2019-09-04 11:59:50 +03:00