From fba814ac64d6467659136a5008970f9532990db5 Mon Sep 17 00:00:00 2001
From: Michael Wimmer <wimmer@lorentz.leidenuniv.nl>
Date: Wed, 11 Sep 2013 15:13:40 +0200
Subject: [PATCH] add margin around floats
---
content/common/kwant.css | 2 ++
1 file changed, 2 insertions(+)
diff --git a/content/common/kwant.css b/content/common/kwant.css
index e5c2a45..8751431 100644
--- a/content/common/kwant.css
+++ b/content/common/kwant.css
@@ -93,10 +93,12 @@ pre > code { border: none; padding: 0; }
div.leftside {
float: left;
+ margin: 0 2em 0 0;
}
div.rightside {
float: right;
+ margin: 0 0 0 2em;
}
div.section{
--
GitLab