From a064b5bf5d6cd546d2ef4ead6b68835b6348ca35 Mon Sep 17 00:00:00 2001
From: Mark Lentczner <markl@glyphic.com>
Date: Fri, 27 Aug 2010 21:29:48 +0000
Subject: [PATCH] fix broken header link margins

---
 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 52292eafa1..bea63507f2 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -115,7 +115,7 @@ ul.links {
   text-align: left;
   float: right;
   display: inline-table;
-  margin-left: 1em;
+  margin: 0 0 0 1em;
 }
 
 ul.links li {
-- 
GitLab