From 43aae85df3a6416ebe38a9385c415a315ef3e1be Mon Sep 17 00:00:00 2001
From: yhirose <yuji.hirose.bug@gmail.com>
Date: Fri, 17 Jul 2015 21:52:30 -0400
Subject: [PATCH] Style change.

---
 lint/playground/www/index.html | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lint/playground/www/index.html b/lint/playground/www/index.html
index a95d7df..14f63fc 100644
--- a/lint/playground/www/index.html
+++ b/lint/playground/www/index.html
@@ -55,9 +55,7 @@ body {
     border: 1px solid red;
 }
 .editor-validation {
-    height: 38px;
-    line-height: 38px;
-    padding: .4em .6em;
+    padding: 9px 11px;
     color: green;
     background-color: lightgreen;
     border-radius: 5px;