summaryrefslogtreecommitdiff
path: root/doc/default.css
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2012-06-07 15:17:06 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2012-06-07 15:17:06 +0200
commit285a5f5af63a21d98758e065f2456fc39a3f4bc5 (patch)
tree6c5c25fd8a9035a06d2c46b2617ea77ab01cbc01 /doc/default.css
parent44f0829221f725d9fcee12f2456c899ac5ae4b87 (diff)
Fix documentation stylesheet
Diffstat (limited to 'doc/default.css')
-rw-r--r--doc/default.css8
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;