mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Merge pull request #15489 from Snuffleupagus/debugger-fonts

Browse source 
Restore the old fonts in the debugger (PR 15438 follow-up)
This commit is contained in:
Jonas Jenwald 2022-09-21 22:39:53 +02:00 • committed by GitHub
commit 547fa3ed2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
web/debugger.css
View file

@ -13,6 +13,12 @@
* limitations under the License.
*/
#PDFBug,
#PDFBug input,
#PDFBug button,
#PDFBug select {
font: message-box;
}
#PDFBug {
background-color: rgba(255, 255, 255, 1);
border: 1px solid rgba(102, 102, 102, 1);