From 5473563e9af0abbc81a3cfd7079c34fbc75dfdb4 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 7 Jun 2012 15:39:55 +0200 Subject: Fix documentation stylesheet --- doc/default.css | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'doc/default.css') 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; -- cgit