Fix white-space breaking for multiline code blocks

This commit is contained in:
Qais Patankar 2019-11-13 14:13:58 +00:00 committed by GitHub
parent 04a52de159
commit ddb9b75c16
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -38,7 +38,7 @@ pre.highlight {
}
code {
@include code-font;
white-space: nowrap;
white-space: pre;
}
/* Agda. */