diff --git a/_sass/agda.scss b/_sass/agda.scss
index cd680e0f..6165a2b8 100644
--- a/_sass/agda.scss
+++ b/_sass/agda.scss
@@ -38,6 +38,7 @@ pre.highlight {
 }
 code {
     @include code-font;
+    white-space: pre;
 }
 
 /* Agda. */