diff options
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; |