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

git-svn-id: svn://10.0.0.236/trunk@93131 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
disttsc%bart.nl
2001-04-26 10:09:06 +00:00
parent ce00b772db
commit 7c4e9936ee
2 changed files with 4 additions and 8 deletions

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;

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;