From 6037f7287f7c23971c865535d846fb6b0557c0d7 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sun, 6 Mar 2011 13:16:43 -0500
Subject: [PATCH] Change size of heading borders

---
 docs/source/mjtheme/static/mj.css_t | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/source/mjtheme/static/mj.css_t b/docs/source/mjtheme/static/mj.css_t
index 4b0d0dfe8..67813eaa9 100644
--- a/docs/source/mjtheme/static/mj.css_t
+++ b/docs/source/mjtheme/static/mj.css_t
@@ -413,8 +413,8 @@ div.body h6 {
     background-color: {{ theme_headbgcolor }};
     font-weight: normal;
     color: {{ theme_headtextcolor }};
-    border-top: 1px solid {{ theme_headbordercolor }};
-    border-bottom: 2px solid {{ theme_headbordercolor }};
+    border-top: 2px solid {{ theme_headbordercolor }};
+    border-bottom: 1px solid {{ theme_headbordercolor }};
     margin: 30px -20px 20px -20px;
     padding: 3px 0 3px 10px;
 }