diff options
Diffstat (limited to 'doc/default.css')
-rw-r--r-- | doc/default.css | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/default.css b/doc/default.css index bb3805b..c73bb8d 100644 --- a/doc/default.css +++ b/doc/default.css @@ -177,7 +177,6 @@ ul.multiline li, ol.multiline li, dl.multiline dd { } - /* C++ code snippet */ pre.cxx { margin-top : 0em; @@ -186,7 +185,13 @@ pre.cxx { margin-left : 1em; } +/* CLI code snippet */ +pre.cli { + margin-top : 0em; + margin-bottom : 2em; + margin-left : 1em; +} /* make code snippet */ pre.make { @@ -196,8 +201,6 @@ pre.make { margin-left : 1em; } - - /* terminal output */ pre.term { margin-top : 0em; |