Index: doc/user/default.css
===================================================================
--- doc/user/default.css	(revision 18849)
+++ doc/user/default.css	(revision 18850)
@@ -13,9 +13,14 @@
 	margin-left: 20px;
 }
 
+PRE {
+	margin-left: 20px;
+}
+
 table {
 	border-collapse: collapse;
 	border: 2px solid #555555;
+	margin-left: 20px;
 }
 
 td {