diff options
Diffstat (limited to 'docs/style.css')
| -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 { |