mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Fix Prefs window style on Windows (#4465)

Browse source
This commit is contained in:
windingwind 2024-07-31 13:28:05 +08:00 • committed by GitHub
parent 6530ccd101
commit c7757131a6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 25 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

12
chrome/content/zotero-platform/win/preferences.css
View file

@ -1,12 +0,0 @@
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
window[windowtype="zotero:pref"] {
padding: 0;
-moz-appearance: window;
background-color: -moz-Dialog;
color: -moz-DialogText;
font: message-box;
}