diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-29 20:32:06 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:38:24 +0300 |
commit | ed0ff206fc38a544464d3ab7aa33a1ddc2e0c603 (patch) | |
tree | e96121119982b2b0966e15d34d8d8f0375df7fdf /docs/lab/lab.css | |
parent | 4a0bb4131209191b117ab180fc4a30b4cfe8fddd (diff) | |
download | inter-ed0ff206fc38a544464d3ab7aa33a1ddc2e0c603.tar.xz |
web: minor adjustments
Diffstat (limited to 'docs/lab/lab.css')
-rw-r--r-- | docs/lab/lab.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/lab/lab.css b/docs/lab/lab.css index b744490c7..719bc949c 100644 --- a/docs/lab/lab.css +++ b/docs/lab/lab.css @@ -1,4 +1,4 @@ -* { margin:0; padding:0; } +* { margin:0; padding:0; font-synthesis: none; } html { } body { background-color: white; @@ -44,7 +44,7 @@ h2 { user-select:none; -moz-user-select: none; font-family: sans-serif !important; overflow: auto; - letter-spacing:0.01em; + letter-spacing:0.012em; } .options > * { display: block; |