diff options
1 files changed, 8 insertions, 4 deletions
| -rw-r--r-- | src/styles.css | 12 |
diff --git a/src/styles.css b/src/styles.css index d9e9ac8..531cad5 100644 --- a/src/styles.css +++ b/src/styles.css @@ -109,14 +109,19 @@ /* Global */ +@font-face { + font-family: 'Tabler'; + src: url('/font/tabler-icons-subset.ttf') format('truetype'); +} + body { background-color: var(--body-bg); border-color: var(--border-color); color: var(--fg-color); min-height: calc(100vh - 16px); } - nav, article { background-color: var(--bg-color); } - body, td, th { font: 18px sans-serif; } + nav, article { background-color: var(--bg-color); } + body, td, th { font-size: 18px; font-family: 'Tabler', sans-serif; } * { line-height: 1.3em; } img { @@ -311,7 +316,6 @@ dt, dd { #sidebar > :not(:first-child) { margin-top: 1.5rem; } #sidebar a { border: none; } - #header, #footer { font-family: Arial; } #header { border-right: none; font-size: 1.5em; @@ -333,7 +337,7 @@ dt, dd { display: inline-block; line-height: 1em; border: 1px solid var(--border-color); - padding: 0.2em 0.3em; + padding: 0.2em 0.3em 0.4em; /* Thanks https://stackoverflow.com/a/4407335/12036073 */ -webkit-touch-callout: none; /* iOS Safari */ -webkit-user-select: none; /* Safari */ |