From 4890c2a334d8ab6f14e25f8e3a42568f7e73eb16 Mon Sep 17 00:00:00 2001 From: "bzbarsky%mit.edu" Date: Wed, 3 Jul 2002 06:35:48 +0000 Subject: [PATCH] Make the JS console use a monospace font. Bug 124332, patch by neil@parkwaycc.co.uk, r=bzbarsky, sr=hewitt --- themes/modern/global/formatting.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/themes/modern/global/formatting.css b/themes/modern/global/formatting.css index 78a9bfc9cd0..cad32ef4385 100644 --- a/themes/modern/global/formatting.css +++ b/themes/modern/global/formatting.css @@ -166,6 +166,10 @@ label[disabled="true"] { font-weight: bold; } +.monospace { + font-family: monospace; +} + .indent { margin-left: 20px; } @@ -185,4 +189,4 @@ label[disabled="true"] { .wizard-box { padding: 20px 44px 10px 44px; } - \ No newline at end of file +