Make the font of pre element a little smaller

openid
Marcin Kulik 12 years ago
parent a90cfdc520
commit 2f2c30ea0f

@ -242,6 +242,7 @@ pre {
padding: 10px;
background-color: white;
color: black;
font-size: 13px;
}
pre code {

Loading…
Cancel
Save