drop shadows for round buttons

Author: Matthew Matz

src/main/webapp/WEB-INF/includes/pageparts/editor-menu.jsp

@@ -33,7 +33,7 @@
                     <span class="project-name"></span> <span class="project-owner"></span>
                 </div>
             </div>
-            <div style="width:100%;">
+            <div style="width:100%; padding-bottom: 5px;">
                 <div style="display:inline; padding-left: 10px;">        
                     <a onclick="compile()" data-toggle="tooltip" title="Verify code (compile)" data-placement="bottom" href="#" class="btn btn-success btn-circle"><i class="glyphicon glyphicon-ok"></i></a>
                     <c:if test="${param.editor_lang == 'c'}">

src/main/webapp/cdn/style-editor.css

@@ -200,6 +200,10 @@ nav .nav > li > a:first-child {
     border-radius: 15px;
 }
 
+.btn-circle:hover {
+    box-shadow: 2px 2px 5px #89a;
+}
+
 #save-project {
     -webkit-transition: padding-left 1s, background 1s, border 1s;
     transition: padding-left 1s, background 1s, border 1s;