Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-30 00:01:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 76531: "view source uses hard-coded pixel font size", author=Boris Zbarsky <bzbarsky@mit.edu>, r=rbs@maths.uq.edu.au, sr=attinasi

Browse Source
This commit is contained in:
disttsc%bart.nl 2001-04-26 10:09:06 +00:00
parent f45501bb6b
commit 2bf96c5488
2 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
layout/html/document/src/viewsource.css
View File

@ -26,13 +26,11 @@ html {
background-color: window;
}
.viewsource {
font-family: monospace;
font-family: -moz-fixed;
font-weight: normal;
font-size: normal;
color: windowtext;
white-space: pre;
font-size: 12px;
padding-top: 8px;
margin-left: 8px;
}
.start-tag {
color: purple;

6
layout/style/viewsource.css
View File

@ -26,13 +26,11 @@ html {
background-color: window;
}
.viewsource {
font-family: monospace;
font-family: -moz-fixed;
font-weight: normal;
font-size: normal;
color: windowtext;
white-space: pre;
font-size: 12px;
padding-top: 8px;
margin-left: 8px;
}
.start-tag {
color: purple;