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;