diff options
Diffstat (limited to '')
-rw-r--r-- | source/css/theme.css | 7 |
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; } |