summaryrefslogtreecommitdiff
path: root/doc/default.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/default.css')
-rw-r--r--doc/default.css9
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;