diff options
| author | s-ol <s-ol@users.noreply.github.com> | 2020-06-03 10:50:20 +0000 |
|---|---|---|
| committer | s-ol <s-ol@users.noreply.github.com> | 2020-06-03 11:04:00 +0000 |
| commit | 4b8a0f024606ca8c602a4e886767d414995ca0a2 (patch) | |
| tree | 0477d875efed4bc495827ccf265c1bb44397ce4e /docs/style.css | |
| parent | add loop/recur (diff) | |
| download | alive-4b8a0f024606ca8c602a4e886767d414995ca0a2.tar.gz alive-4b8a0f024606ca8c602a4e886767d414995ca0a2.zip | |
split guide into guide and reference
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/style.css b/docs/style.css index 51fddef..e3238e9 100644 --- a/docs/style.css +++ b/docs/style.css @@ -62,9 +62,10 @@ a { ul, ol { margin: 0.5em 0; - padding-left: 0.6em; + padding-left: 1em; } ul, .ldoc ol { list-style: '- '; } +li > ul, li > ol { margin: 0; } header { position: fixed; |
