From 285a5f5af63a21d98758e065f2456fc39a3f4bc5 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 7 Jun 2012 15:17:06 +0200 Subject: Fix documentation stylesheet --- doc/default.css | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'doc/default.css') 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; -- cgit v1.1