Fix styles for play button

static/css/application.css

@@ -3943,7 +3943,8 @@ section.tool-wrapper div#controlls-container div.graph-controls div.music-wrappe
   padding: 6px 18px 7px;
   text-shadow: 0 1px 0 #31505a;
   -webkit-background-clip: padding-box;
-  font: bold 16px "Open Sans", "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Geneva, Verdana, sans-serif;
+  font: bold 14px "Open Sans", "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Geneva, Verdana, sans-serif;
+  border-color: #001317;
   float: right; }
 section.tool-wrapper div#controlls-container div.graph-controls div.music-wrapper input#playButton:hover {
   -webkit-box-shadow: inset 0 1px 0 0 #778589;

templates/sass/courseware/_amplifier.scss

@@ -95,7 +95,8 @@ section.tool-wrapper {
         input#playButton {
           display: block;
           @include button(simple, lighten( #586e75, 5% ));
-          font: bold 16px $body-font-family;
+          font: bold 14px $body-font-family;
+          border-color: darken(#002b36, 6%);
           float: right;
 
           &:active {