From 4f4b7616be132745ade1317a98ef9a69a665f945 Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Fri, 30 May 2014 17:55:14 +0300 Subject: [PATCH] +color Signed-off-by: Nico Schottelius --- local.css | 1 + 1 file changed, 1 insertion(+) diff --git a/local.css b/local.css index f73ad8d4..041ede44 100644 --- a/local.css +++ b/local.css @@ -94,6 +94,7 @@ pre { .inlinepage { border: 1px dotted #c0c0c0; + margin: 1em 0; } .header {