From c92554e774a301a71e55fc2ac83d7bb06927c308 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 --- layout/html/document/src/viewsource.css | 6 ++---- layout/style/viewsource.css | 6 ++---- 2 files changed, 4 insertions(+), 8 deletions(-) diff --git a/layout/html/document/src/viewsource.css b/layout/html/document/src/viewsource.css index 2c66f273e05..d5fd5df69fd 100644 --- a/layout/html/document/src/viewsource.css +++ b/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/layout/style/viewsource.css b/layout/style/viewsource.css index 2c66f273e05..d5fd5df69fd 100644 --- a/layout/style/viewsource.css +++ b/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;