Replaced hr with enforced margin.

app/assets/javascripts/editor/evaluation.js.erb

@@ -154,7 +154,7 @@ CodeOceanEditorEvaluation = {
   //TODO: Move Prompt Part in own component
   showPrompt: function(msg) {
     var label = $('#prompt .input-group-addon');
-    var prompt = $(this.prompt)
+    var prompt = $(this.prompt);
     label.text(msg.data || label.data('prompt'));
     if (prompt.isPresent() && prompt.hasClass('hidden')) {
       prompt.removeClass('hidden');
@@ -163,7 +163,7 @@ CodeOceanEditorEvaluation = {
   },
 
   hidePrompt: function() {
-    var prompt = $(this.prompt)
+    var prompt = $(this.prompt);
     if (prompt.isPresent() && !prompt.hasClass('hidden')) {
       prompt.addClass('hidden');
     }

app/assets/stylesheets/editor.css.scss

@@ -167,4 +167,8 @@ button i.fa-spin {
   -webkit-transition: height 2s;
   transition: height 2s;
   visibility: visible;
+}
+
+.enforce-big-top-margin {
+  margin-top: 15px !important;
 }