Avoid line breaks in the middle of code

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

View file

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