docs: style.scss: Style <code> tags distinctively
Give them a light grey background
(the same as for `main .docs .highlight`)
and some padding to make them stand out against the rest of
paragraph text.
This follows the conventions of most documentation styles.
@@ -301,6 +301,11 @@ main {
font-family: Monaco, Menlo, Consolas, monospace;
}
+ code {
+ background-color: #eeeeee;
+ padding: 0.2em 0.3em;
+ }
+
.highlight {
margin: 1.2em 0;
padding: 10px 15px;
