higher output density

diff --git a/static/style.css b/static/style.css
index cc60f10705637c150b3d174b5fef08a3820d32dc..197a8369fe6a7aa3d9b76f3db9d4239efab27ef3 100644 (file)
--- a/static/style.css
+++ b/static/style.css
@@ -9,6 +9,7 @@ table.inputtable { width:100%; vertical-align:top; }
 td.inputtd { width:100%; }
 #input { margin-left: 8px; color: #666; overflow: hidden; }
 #output{ margin-left: 8px; margin-top: 8px; }
+#output pre { margin: 1px; }
 .less { color: #666; }
 .info { color: #090; }
 table { padding: 0px; margin: 0px; border-collapse: collapse; border-spacing: 0px; }