diff --git a/html/user/main.css b/html/user/main.css
index e5b9700de6..b9a6112418 100644
--- a/html/user/main.css
+++ b/html/user/main.css
@@ -400,7 +400,7 @@ span.inboxunread {
.pre {
font-family: "Courier New", courier, monospace;
display: block;
-#white-space: pre;
+ white-space: pre;
overflow: auto;
}
@@ -411,7 +411,7 @@ span.inboxunread {
border-left-width: 3px;
border-left-style: solid;
padding-left: 1em;
-#white-space: pre;
+ white-space: pre;
overflow: auto;
}