From 698453b0f175076d55aeadfa1602ced9fd95a044 Mon Sep 17 00:00:00 2001
From: Davi Alexandre <davi@davialexandre.com.br>
Date: Mon, 1 Dec 2014 17:23:50 -0200
Subject: [PATCH] Fixes double border of pointing menu attached to segment

A demo of the bug and how it should look after fixed can
be found at http://jsfiddle.net/davialexandre/cww15fon/1/
---
 src/definitions/elements/segment.less | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/definitions/elements/segment.less b/src/definitions/elements/segment.less
index 15b7376b3..1c7d68547 100755
--- a/src/definitions/elements/segment.less
+++ b/src/definitions/elements/segment.less
@@ -83,11 +83,6 @@
     Loose Coupling
 --------------------*/
 
-/* Menu */
-.ui.pointing.menu + .ui.attached.segment {
-  top: 1px;
-}
-
 /* Header */
 .ui.inverted.segment > .ui.header {
   color: @white;