From 868ed6ade83900f19ff057549bec1c0ca73e3a25 Mon Sep 17 00:00:00 2001
From: Frans Bouma <frans@sd.nl>
Date: Fri, 19 Feb 2016 15:05:14 +0100
Subject: [PATCH] Changed code span CSS a bit so padding left/right is smaller
 now, added margin left/right

---
 Themes/Default/Destination/css/theme.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Themes/Default/Destination/css/theme.css b/Themes/Default/Destination/css/theme.css
index bca63dd..3734953 100644
--- a/Themes/Default/Destination/css/theme.css
+++ b/Themes/Default/Destination/css/theme.css
@@ -211,7 +211,8 @@ code, pre.nocode {
 	max-width: 100%;
 	border: solid 1px;
 	font-size: 90%;
-	padding: 0 5px;
+	padding: 0 2px;
+	margin: 0 3px;
 	font-family: Consolas, "Andale Mono WT","Andale Mono","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;
 	overflow-x: auto;
 }