UI fixes; closes #1235

src/css/dashboard-common.css

@@ -44,7 +44,7 @@ div > p:last-child {
 .para {
     width: 40em;
     }
-.whatisthis {
+button.whatisthis {
     margin: 0 0 0 8px;
     border: 0;
     padding: 0 0 4px 0;
@@ -54,8 +54,10 @@ div > p:last-child {
     cursor: pointer;
     opacity: 0.5;
     vertical-align: middle;
+    -webkit-transition: 0.2s background, 0.2s border-color, 0.2s box-shadow, 0.2s opacity;
+    transition: 0.2s background, 0.2s border-color, 0.2s box-shadow, 0.2s opacity;
     }
-.whatisthis:hover {
+button.whatisthis:hover {
     opacity: 1.0;
     }
 .whatisthis-expandable {

src/css/devtool-log.css

@@ -28,9 +28,6 @@ body {
     display: inline-block;
     vertical-align: middle;
     }
-#toolbar input {
-    padding: 5px;
-    }
 #toolbar .button {
     border: none;
     box-sizing: border-box;
@@ -48,8 +45,13 @@ body.filterOff #toolbar #filterButton {
 #filterExpression.bad {
     background-color: #fee;
     }
+input {
+    border: 1px solid #ddd;
+    padding: 5px;
+    }
 input:focus {
-    background-color: #ffe;
+    outline: 0;
+    border-color: deepskyblue;
     }
 #content {
     position: absolute;