1 files changed, 3 insertions, 0 deletions

diff --git a/boost.css b/boost.css
index dc90937486..8b21d920de 100644
--- a/boost.css
+++ b/boost.css
@@ -30,6 +30,9 @@ CODE
 {
     FONT-FAMILY: Courier,
                  monospace;
+}
+CODE.as_pre
+{
     white-space: pre;
 }
 .index