From 7c4e9936ee454624b08b73d12e69b98e6f8ca850 Mon Sep 17 00:00:00 2001 From: "disttsc%bart.nl" Date: Thu, 26 Apr 2001 10:09:06 +0000 Subject: [PATCH] Bug 76531: "view source uses hard-coded pixel font size", author=Boris Zbarsky , r=rbs@maths.uq.edu.au, sr=attinasi git-svn-id: svn://10.0.0.236/trunk@93131 18797224-902f-48f8-a5cc-f745e15eee43 --- mozilla/layout/html/document/src/viewsource.css | 6 ++---- mozilla/layout/style/viewsource.css | 6 ++---- 2 files changed, 4 insertions(+), 8 deletions(-) diff --git a/mozilla/layout/html/document/src/viewsource.css b/mozilla/layout/html/document/src/viewsource.css index 2c66f273e05..d5fd5df69fd 100644 --- a/mozilla/layout/html/document/src/viewsource.css +++ b/mozilla/layout/html/document/src/viewsource.css @@ -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; diff --git a/mozilla/layout/style/viewsource.css b/mozilla/layout/style/viewsource.css index 2c66f273e05..d5fd5df69fd 100644 --- a/mozilla/layout/style/viewsource.css +++ b/mozilla/layout/style/viewsource.css @@ -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;