From 323dc5feea82fa53cea6e5ed94718dcfc33fd0e1 Mon Sep 17 00:00:00 2001
From: Chris <chris@chrismatic.io>
Date: Sat, 11 Apr 2015 01:26:33 -0600
Subject: [PATCH] UI fixes; closes #1235

---
 src/css/dashboard-common.css |  6 ++++--
 src/css/devtool-log.css      | 10 ++++++----
 2 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/src/css/dashboard-common.css b/src/css/dashboard-common.css
index 763805e85..a4c61d81a 100644
--- a/src/css/dashboard-common.css
+++ b/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 {
diff --git a/src/css/devtool-log.css b/src/css/devtool-log.css
index f885df837..4f1f28f1b 100644
--- a/src/css/devtool-log.css
+++ b/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;