diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 23:17:04 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 23:18:10 -0400 |
| commit | c63290ae05990f54619207ac6ee0b3fbf6f9c145 (patch) | |
| tree | 12951802a4190e69ae7edda9ed84fe4df735bca5 /docs/style.css | |
| parent | 6243dcd88bf70157d600e787a7c344541df98085 (diff) | |
Auto-generate results in some doc files
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/style.css b/docs/style.css index a70821e5..566caa2b 100644 --- a/docs/style.css +++ b/docs/style.css @@ -39,7 +39,7 @@ pre { margin: 1.6em 0.4em; padding: 0.8em; font-size: 1.16em; - line-height: 1.4; + line-height: 1.2; } .Value { color: #1f2020; } |