fix css for index-dev.html

viebel · Apr 28, 2016 · f5c3f09 · f5c3f09
1 parent 438ee80
commit f5c3f09
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/resources/public/index-dev.html b/resources/public/index-dev.html
@@ -8,6 +8,7 @@
         <link rel="stylesheet" type="text/css" href="css/layout.css">
         <link rel="stylesheet" type="text/css" href="css/cards/layout.css">
         <link rel="stylesheet" type="text/css" href="css/codemirror.css">
+        <link rel="stylesheet" type="text/css" href="css/simplescrollbars.css">
     </head>
     <body>
         <div style="position: absolute; z-index: 9; right: 5px; top: 5px;" > 
@@ -16,7 +17,7 @@
         <div id="compiler" style="height: 100%;"></div>
         <script async defer id="github-bjs" src="https://buttons.github.io/buttons.js"></script>
         <script src="lib/mirror_extensions.js"></script>
-        <script src="dev/js/klipse.js?version=0.4.1"></script>
+        <script src="dev/js/klipse.js?version=0.4.2"></script>
         <script>
           (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
                 (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),