Update font

This commit is contained in:
Seth Vargo 2017-04-06 18:05:31 -04:00
parent 64a76ea69f
commit 9c72544447
No known key found for this signature in database
GPG Key ID: C921994F9C27E0FF
1 changed files with 9 additions and 3 deletions

View File

@ -12,10 +12,16 @@
margin-bottom: 0;
}
pre {
pre,
code,
pre code,
tt {
font-family: $font-family-monospace;
font-size: ($font-size - 3);
font-weight: normal;
font-size: $font-size - 2;
line-height: 1.6;
}
pre {
padding: 20px;
margin: 0 0 $font-size;