pre, code {
font-family: $monospaced;
}
code {
background-color: $grey-3; border-radius: 0.2em; color: $code-color; font-size: 85%; padding: .25em .5em;
}
pre {
margin: 0 0 1rem;
}
pre code {
background-color: transparent; color: inherit; font-size: 100%; padding: 0;
}
.highlight {
background-color: $grey-3; border-radius: 0.2em; line-height: 1.4; margin: 0 0 1rem; padding: 1rem; pre { margin-bottom: 0; overflow-x: auto; } .lineno { color: $default-tint; display: inline-block; // Ensures the null space also isn't selectable padding: 0 .75rem 0 .25rem; // Make sure numbers aren't selectable -webkit-user-select: none; -moz-user-select: none; user-select: none; }
}