diff options
author | Rasmus Andersson <rasmus@notion.se> | 2017-08-22 13:51:10 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2017-08-22 13:51:10 +0300 |
commit | 38a5fbd63153e492323044789789e2dc37f81e8a (patch) | |
tree | cc78da7c25c9208424a57d2108ea6026d28bcb4b /docs/index.html | |
parent | 260b3deb8402fc8f0fb24ad7dbff70806d2aa82e (diff) | |
download | inter-38a5fbd63153e492323044789789e2dc37f81e8a.tar.xz |
website
Diffstat (limited to 'docs/index.html')
-rw-r--r-- | docs/index.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/index.html b/docs/index.html index af02e5eed..d4e669a80 100644 --- a/docs/index.html +++ b/docs/index.html @@ -76,7 +76,7 @@ p { code { display: block; font-family: "SFMono-Regular", Menlo, Consolas, Inconsolata, monospace; - /*background: rgba(0,0,0,0.05);*/ + font-size:0.96em; border-radius:1px; padding: 0.5em 0; overflow: scroll; @@ -97,7 +97,9 @@ h1 { h2 { font-size: 24px; letter-spacing: -0.4px; - line-height: 40px; + line-height: 30px; + margin-bottom: 25px; + margin-top: 10px; } h1 > a, h2 > a, h3 > a { |