diff options
| author | s-ol <s-ol@users.noreply.github.com> | 2020-03-16 10:11:36 +0000 |
|---|---|---|
| committer | s-ol <s-ol@users.noreply.github.com> | 2020-03-16 10:18:41 +0000 |
| commit | c0bf14a6eb97af216cb12b05686a7ad7be697eeb (patch) | |
| tree | cc1f408d908e68ab2e04f3c8b84e0b48f6ffa69e /docs/style.css | |
| parent | switch repo docs to github (diff) | |
| download | alive-c0bf14a6eb97af216cb12b05686a7ad7be697eeb.tar.gz alive-c0bf14a6eb97af216cb12b05686a7ad7be697eeb.zip | |
doc styling, preparation for internal md documentation
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css index b9ef4a1..13f3c3b 100644 --- a/docs/style.css +++ b/docs/style.css @@ -147,3 +147,14 @@ a:hover code, .nest > p { margin: 0; } + +.ldoc h2 { + margin-bottom: 0; +} +.ldoc h3.indent { + margin: 0; + margin-left: 0.6rem; +} +.ldoc h3.indent + ul { + margin-top: 0; +} |
