From edd32bb80d2a13122a9781bb5f8e3fc465777e43 Mon Sep 17 00:00:00 2001
From: curben <curben@users.noreply.gitlab.com>
Date: Fri, 19 Oct 2018 21:13:15 +1030
Subject: [PATCH] Use platform-native styling for button appearance

https://developer.mozilla.org/en-US/docs/Web/CSS/appearance
---
 themes/typing/source/css/typing.css | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/themes/typing/source/css/typing.css b/themes/typing/source/css/typing.css
index 9f81ef8..b33db12 100644
--- a/themes/typing/source/css/typing.css
+++ b/themes/typing/source/css/typing.css
@@ -1189,15 +1189,14 @@ pre .javascript .function,pre .keyword {
 }
 
 .copy-button {
+  -moz-appearance: button;
+  -webkit-appearance: button;
   cursor: pointer;
-  border: 1px solid #d5d5d5;
-  border-radius: 3px;
   -webkit-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
   font-size: .8em;
-  font-weight: 700;
   line-height: 1em;
   font-family: monospace,monospace;
   padding: 2px;