aboutsummaryrefslogtreecommitdiff
path: root/source/css/theme.css
diff options
context:
space:
mode:
Diffstat (limited to 'source/css/theme.css')
-rw-r--r--source/css/theme.css7
1 files changed, 4 insertions, 3 deletions
diff --git a/source/css/theme.css b/source/css/theme.css
index bd34d434..5827609d 100644
--- a/source/css/theme.css
+++ b/source/css/theme.css
@@ -1,7 +1,7 @@
body {
color: #333;
font-family: "PT Serif", serif;
- font-size: 11pt;
+ font-size: 10.99pt;
}
nav {
@@ -90,13 +90,14 @@ pre[class*=sourceCode] {
pre code {
font-size: 0.91em;
+ line-height: 135%;
}
.line-number {
position: absolute;
left: 0;
right: 0;
- margin-top: 1em;
+ margin-top: 0.8em;
pointer-events: none;
white-space: pre;
}
@@ -108,7 +109,7 @@ pre code {
left: .5em;
min-width: 2em;
color: #ccc;
- font: 500 65%/1.5 sans-serif;
+ font-size: 0.65em;
text-align: center;
vertical-align: .3em;
}