Merge pull request #619 from MohammadYounes/docs

Possibly an old CSS leftover.

server/files/stylesheets/semantic.css

@@ -1327,10 +1327,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 {
@@ -1520,4 +1516,4 @@ body.progress .ui.progress .bar {
     width: auto;
     padding: 0% 23%;
   }
-}
+}