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