index.html: get rid of accidental padding

diff --git a/index.html b/index.html
index b7a0665..ef33901 100644 (file)
--- a/index.html
+++ b/index.html
@@ -11,6 +11,10 @@
                        font-family: monospace;
                        font-size: 12px;
                        line-height: 14px;
+                       padding: 0;
+                       margin: 0;
+               }
+               body div {
                        white-space: pre;
                }
        </style>