From 506875109737dc5d5001f543844f67bbee8cf1cc Mon Sep 17 00:00:00 2001
From: Albert Latacz <albert.latacz@gmail.com>
Date: Mon, 5 Dec 2016 21:00:49 +0000
Subject: [PATCH] added stuling for embeded console

---
 src/javarepl/web/embed.html | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/javarepl/web/embed.html b/src/javarepl/web/embed.html
index 0940c48..690a4ec 100644
--- a/src/javarepl/web/embed.html
+++ b/src/javarepl/web/embed.html
@@ -11,14 +11,9 @@
     <script src="/ui/bower_components/jquery.terminal/js/jquery.mousewheel-min.js" type="text/javascript"></script>
 
     <link href="/ui/bower_components/jquery.terminal/css/jquery.terminal.min.css" rel="stylesheet" type="text/css">
-    <link href="/ui/bower_components/github-fork-ribbon-css/gh-fork-ribbon.css" rel="stylesheet" type="text/css">
 
-    <!--[if lt IE 9]>
-    <link href="/ui/bower_components/github-fork-ribbon-css/gh-fork-ribbon.ie.css" rel="stylesheet" type="text/css">
-    <![endif]-->
 
-
-    <link href="term.css" rel="stylesheet" type="text/css">
+    <link href="/ui/term.css" rel="stylesheet" type="text/css">
 
     <script type="text/javascript">
         (function (i, s, o, g, r, a, m) {