Fix bootstrap CSS issues in Safari and Chrome

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

@@ -84,7 +84,7 @@ configureEditors: function () {
     if (result.stderr && !result.score) {
       return 'card bg-danger text-white';
     } else if (result.score < 1) {
-      return 'card bg-warning';
+      return 'card bg-warning text-white';
     } else {
       return 'card bg-success text-white';
     }

app/assets/stylesheets/base.css.scss

@@ -15,15 +15,24 @@ i.fa {
 pre {
   background-color: #FAFAFA;
   margin: 0;
-  padding: 0;
+  padding: .25rem!important;
+  border: 1px solid #CCCCCC;
 }
 
 span.caret {
   margin-left: 0.5em;
 }
 
+btn {
+  -webkit-font-smoothing: antialiased;
+  font-weight: 500;
+}
+
 .progress {
   margin: 0;
+  border: 1px solid #CCCCCC;
+  padding: 0.125rem !important;
+  height: 1.25rem !important;
 
   .progress-bar {
     line-height: initial;
@@ -32,6 +41,11 @@ span.caret {
   }
 }
 
+.nav-link {
+  -webkit-font-smoothing: antialiased;
+  font-weight: 500;
+}
+
 .attribute-row + .attribute-row {
   margin-top: 0.5em;
 }

app/assets/stylesheets/editor.css.scss

@@ -45,10 +45,6 @@ button i.fa-spin {
   width: 100%;
   display: flex;
 
-  button {
-    font-size: 80%;
-  }
-
   button, .btn-group {
     flex-grow: 1;
   }