From 99ac2097d5c16d5c3da49515e56d60fbc845b474 Mon Sep 17 00:00:00 2001
From: Christoph Groth <christoph.groth@cea.fr>
Date: Mon, 3 Feb 2014 18:06:24 +0100
Subject: [PATCH] fix margins around "technical details" boxes (insatisfactory)
---
doc/source/_static/kwant.css | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/doc/source/_static/kwant.css b/doc/source/_static/kwant.css
index 246b713..6b4e9fa 100644
--- a/doc/source/_static/kwant.css
+++ b/doc/source/_static/kwant.css
@@ -30,8 +30,8 @@ div.specialnote-title {
padding: 1em;
padding-top: 0.4em;
padding-bottom: 0.4em;
- margin-top: 1em;
- margin-bottom: 0px;
+ margin-top: 10px;
+ margin-bottom: 10px;
border-width: 1px;
border-color: #546C55;
border-style: solid;
@@ -42,7 +42,8 @@ div.specialnote-body {
padding: 1em;
padding-top: 0.1em;
padding-bottom: 0.4em;
- margin-top: 0px;
+ margin-top: -10px;
+ margin-bottom: 10px;
border-width: 1px;
border-top-width: 0px;
border-color: #546C55;
--
GitLab