From 91939aa4bc709c6b366ae8983b7b9416027f5120 Mon Sep 17 00:00:00 2001
From: jlukic <jacklukic@gmail.com>
Date: Sun, 7 Sep 2014 02:13:38 -0400
Subject: [PATCH] Fix github message theme border colors, fix tabular segment
 spacing

---
 src/definitions/collections/menu.less                |  2 +-
 .../packages/github/collections/message.overrides    | 12 +++---------
 .../packages/github/collections/message.variables    |  4 ++++
 3 files changed, 8 insertions(+), 10 deletions(-)

diff --git a/src/definitions/collections/menu.less b/src/definitions/collections/menu.less
index 7cd6f5df6..11d75dd31 100755
--- a/src/definitions/collections/menu.less
+++ b/src/definitions/collections/menu.less
@@ -681,7 +681,7 @@
   z-index: 2;
 }
 .ui.tabular.menu ~ .bottom.attached.segment {
-  margin: -1px 0px 0px 1px;
+  margin: 0px 0px 0px 1px;
 }
 
 /* Coupling with accordion */
diff --git a/src/themes/packages/github/collections/message.overrides b/src/themes/packages/github/collections/message.overrides
index c8a402a57..01519ed71 100755
--- a/src/themes/packages/github/collections/message.overrides
+++ b/src/themes/packages/github/collections/message.overrides
@@ -1,17 +1,11 @@
 .ui.info.message {
-  background-image: linear-gradient(#D8EBF8, #D0E3EF);
-  border: 1px solid #97C1DA;
-  box-shadow: none;
+  background: linear-gradient(#D8EBF8, #D0E3EF);
 }
 .ui.error.message {
-  background-image: linear-gradient(#F8D8D8, #EFD0D0);
-  border: 1px solid #DA9797;
-  box-shadow: none;
+  background: linear-gradient(#F8D8D8, #EFD0D0);
 }
 .ui.warning.message {
-  background-image: linear-gradient(#FFE3C8, #F5DAC0);
-  border: 1px solid #DCA874;
-  box-shadow: none;
+  background: linear-gradient(#FFE3C8, #F5DAC0);
 }
 .ui.success.message {
 }
diff --git a/src/themes/packages/github/collections/message.variables b/src/themes/packages/github/collections/message.variables
index 6e079ca3c..165eef68f 100755
--- a/src/themes/packages/github/collections/message.variables
+++ b/src/themes/packages/github/collections/message.variables
@@ -18,6 +18,10 @@
   0px 0px 0px 1px rgba(0, 0, 0, 0.05) inset
 ;
 
+@infoBorderColor: #97C1DA;
+@errorBorderColor: #DA9797;
+@warningBorderColor: #DCA874;
+
 @small: 12px;
 @medium: 13px;
 @large: 14px;