diff options
Diffstat (limited to 'doc/default.css')
-rw-r--r-- | doc/default.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/default.css b/doc/default.css index bb3805b..889f46b 100644 --- a/doc/default.css +++ b/doc/default.css @@ -186,7 +186,13 @@ pre.cxx { margin-left : 1em; } +/* SQL code snippet */ +pre.sql { + margin-top : 0em; + margin-bottom : 2em; + margin-left : 1em; +} /* make code snippet */ pre.make { @@ -196,8 +202,6 @@ pre.make { margin-left : 1em; } - - /* terminal output */ pre.term { margin-top : 0em; |