Merge pull request #5788 from MrPetovan/bug/php7-remove-pear-text_highlighter

Add missing change to quattro main less file
This commit is contained in:
Tobias Diekershoff 2018-09-23 19:07:41 +02:00 committed by GitHub
commit 437a55a1f2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -59,7 +59,7 @@ blockquote {
}
code {
pre code {
font-family: Courier, monospace;
white-space: pre;
display: block;