From 4ed670b7091470a870fb3cecb0560060326e835f Mon Sep 17 00:00:00 2001
From: Alan Bernstein <alan.aaron.bernstein@gmail.com>
Date: Tue, 30 May 2017 12:57:07 -0500
Subject: [PATCH] Remove unused styles

---
 webui/assets/style.css | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/webui/assets/style.css b/webui/assets/style.css
index 3a5bcaf39..3567a2a03 100644
--- a/webui/assets/style.css
+++ b/webui/assets/style.css
@@ -287,12 +287,6 @@ td{
   padding: 21px  30px;
 }
 
-.string { color: green; }
-.number { color: darkorange; }
-.boolean { color: blue; }
-.null { color: magenta; }
-.key { color: red; }
-
 .expand {
   text-align: center;
 }