1
mirror of https://github.com/jakejarvis/jarv.is.git synced 2025-12-03 03:48:55 -05:00

adjust monospace font size a bit

This commit is contained in:
2020-11-27 09:57:36 -05:00
parent d9deace16c
commit aa2c1e60ea
3 changed files with 10 additions and 4 deletions

View File

@@ -172,11 +172,15 @@
div.right {
text-align: right;
}
div.highlight, code {
code {
font-family: "Roboto Mono", monospace;
font-size: 0.95em;
letter-spacing: 0;
page-break-inside: avoid;
}
div.highlight, code {
margin: 0 0.1em;
line-height: 1.6;
}
:not(pre) > code {
border: 1px solid #dddddd;
@@ -184,7 +188,7 @@
background-color: #fbfbfb;
}
h1.title code {
font-size: 1.05em;
font-size: 1em;
font-weight: 600;
background: none;
border: 0;