diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2017-09-12 10:08:18 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2017-09-12 10:08:18 +0300 |
| commit | 4b7a326d741b01b6080a247d698b6cceb0f0531d (patch) | |
| tree | c0c3f435334a37836d6bb7950316cdaa5778eb77 /docs/index.css | |
| parent | dab1e881b14eb87c332df2c36188ebda647f97c8 (diff) | |
| download | inter-4b7a326d741b01b6080a247d698b6cceb0f0531d.tar.xz | |
website
Diffstat (limited to 'docs/index.css')
| -rw-r--r-- | docs/index.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/index.css b/docs/index.css index 804f7749d..438eeebd0 100644 --- a/docs/index.css +++ b/docs/index.css @@ -70,6 +70,10 @@ dem { /* de-emphasize */ font-weight: 400; opacity: 0.7; } +num { /* number */ + font-feature-settings: 'calt' 1, 'ss01' 1; + white-space: pre; +} h1, h2, h3 { font-weight: 500; |