diff options
| -rw-r--r-- | docs/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/style.css b/docs/style.css index 87566276..19a3b2f8 100644 --- a/docs/style.css +++ b/docs/style.css @@ -6,7 +6,7 @@ body{ line-height: 1.6; } h1,h2,h3 { - line-height:1.2; + line-height: 1.2; } table { @@ -37,7 +37,7 @@ pre { font-family: monospace; margin: 1.6em 0; padding: 0.8em; - font-size:1.16em; + font-size: 1.16em; line-height: 1.4; } .Value { color: #1f2020; } |