From 8b970ee3984be3fb0ab2ec22076d7f1b12eb5843 Mon Sep 17 00:00:00 2001 From: Gerd Flaig Date: Sat, 27 Dec 2008 16:41:41 +0100 Subject: [PATCH] higher output density --- static/style.css | 1 + 1 file changed, 1 insertion(+) diff --git a/static/style.css b/static/style.css index cc60f10..197a836 100644 --- 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; } -- 2.43.0