From 92cbd8adc83c844a1bc860dc149f8a2738789140 Mon Sep 17 00:00:00 2001
From: Mohammad Younes <myounes@gmail.com>
Date: Tue, 11 Feb 2014 14:24:14 +0200
Subject: [PATCH] Update semantic.css

Possibly an old CSS leftover.
---
 server/files/stylesheets/semantic.css | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/server/files/stylesheets/semantic.css b/server/files/stylesheets/semantic.css
index 805ffb86d..881943280 100755
--- a/server/files/stylesheets/semantic.css
+++ b/server/files/stylesheets/semantic.css
@@ -1323,10 +1323,6 @@ body.progress .ui.progress .bar {
     width: auto;
     margin: 0% 30px 0px;
   }
-  #example
-  #example .right.attached.launch {
-    display: none;
-  }
 }
 @media only screen and (max-width : 780px) {
   pre.console {
@@ -1516,4 +1512,4 @@ body.progress .ui.progress .bar {
     width: auto;
     padding: 0% 23%;
   }
-}
\ No newline at end of file
+}