From 673707964f11fdcd93b9c571322b25da0a76c3a9 Mon Sep 17 00:00:00 2001
From: curben <curben@users.noreply.gitlab.com>
Date: Sat, 20 Oct 2018 13:53:38 +1030
Subject: [PATCH] Remove duplicate css rules

---
 themes/typing/source/css/typing.css | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/themes/typing/source/css/typing.css b/themes/typing/source/css/typing.css
index e73fe31..ee502b7 100644
--- a/themes/typing/source/css/typing.css
+++ b/themes/typing/source/css/typing.css
@@ -1190,15 +1190,11 @@ pre .javascript .function,pre .keyword {
   border-radius: 5px;
   color: #d8d8d8;
   cursor: pointer;
-  font-family: inherit;
   font-size: .8em;
   line-height: 1em;
-  overflow: visible;
   padding: 5px;
-  text-transform: none;
   user-select: none;
   -webkit-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
-  -webkit-appearance: button;
 }