Give our floats a bit of padding

diff --git a/src/local.css b/src/local.css
index 382c92ed9c498383d191fc64d54773cc6842b8e2..5c8975e7c7c05a35106edba0981356610d7f5f0c 100644 (file)
--- a/src/local.css
+++ b/src/local.css
@@ -39,8 +39,10 @@ h2,h3,h4,h5,h6 {
 
 .floatleft {
     float: left;
+    padding-right: 0.5em;
 }
 
 .floatright {
     float: right;
+    padding-left: 0.5em;
 }