Update font

pull/2881/head
Seth Vargo 2017-04-06 18:05:31 -04:00
parent eb492cf58e
commit 51a1cb8eb8
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; margin-bottom: 0;
} }
pre { pre,
code,
pre code,
tt {
font-family: $font-family-monospace; font-family: $font-family-monospace;
font-size: ($font-size - 3); font-size: $font-size - 2;
font-weight: normal; line-height: 1.6;
}
pre {
padding: 20px; padding: 20px;
margin: 0 0 $font-size; margin: 0 0 $font-size;