diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-21 18:46:26 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-21 18:46:49 -0400 |
| commit | 2b12e914cb5e19a506cc090ddd1ba88bc7b3aed9 (patch) | |
| tree | 17fd59bf11223d7c7aa55cd462299e79c6267f1d | |
| parent | ea5a805389c475e4e96af6b17b987de7a17c959c (diff) | |
Add more space around headers, and an underline
| -rw-r--r-- | docs/style.css | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/style.css b/docs/style.css index c9e2adc1..3f1e41b2 100644 --- a/docs/style.css +++ b/docs/style.css @@ -15,8 +15,11 @@ body { text-align: right; margin-bottom: -2em; } -h1, h2, h3 { +h1, h2, h3, h4 { line-height: 1.2; + margin: 2.5rem 0 1rem 0; + padding-bottom: 0.1em; + border-bottom: 0.01em solid #9995 } table { |