From 7c1c4e57b72efda55af5039693ccd1a4eb31ef77 Mon Sep 17 00:00:00 2001
From: Mark Lentczner <markl@glyphic.com>
Date: Fri, 13 Aug 2010 15:50:22 +0000
Subject: [PATCH] more space between elements
---
html/Ocean.std-theme/ocean.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index 3fb799cb3a..d7eac671b6 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -355,7 +355,7 @@ div#style-menu-holder {
/* @group Main Content */
-#interface div.top { margin: 1em 0 0.5em 0; }
+#interface div.top { margin: 1em 0 2em 0; }
#interface p.src .link {
float: right;
--
GitLab