From 039c9417fc239c83bfe96156a92d885cec5a4983 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@osmosoft.com>
Date: Tue, 5 Feb 2013 19:12:23 +0000
Subject: [PATCH] Style tweaks

---
 core/styles/base.tid | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/core/styles/base.tid b/core/styles/base.tid
index 7a87e36b7..84bba08f3 100644
--- a/core/styles/base.tid
+++ b/core/styles/base.tid
@@ -35,7 +35,7 @@ code, pre {
 }
 
 code {
-	padding: 2px 4px;
+	padding: 1px 2px;
 	color: #d14;
 	background-color: #f7f7f9;
 	border: 1px solid #e1e1e8;
@@ -43,8 +43,8 @@ code {
 
 pre {
 	display: block;
-	padding: 9.5px;
-	margin: 0 0 10px;
+	padding: 1em;
+	margin: 0 0 1em;
 	word-break: break-all;
 	word-wrap: break-word;
 	white-space: pre;