higher output density
authorGerd Flaig <gefla@gefla-mac-zrh>
Sat, 27 Dec 2008 15:41:41 +0000 (16:41 +0100)
committerGerd Flaig <gefla@gefla-mac-zrh>
Sat, 27 Dec 2008 15:41:41 +0000 (16:41 +0100)
static/style.css

index cc60f10705637c150b3d174b5fef08a3820d32dc..197a8369fe6a7aa3d9b76f3db9d4239efab27ef3 100644 (file)
@@ -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; }