Unify button styling across platforms

Revert edd32bb80d
This commit is contained in:
curben 2018-10-19 22:01:19 +10:30
parent edd32bb80d
commit f397e5a17f
1 changed files with 12 additions and 7 deletions

View File

@ -1189,15 +1189,20 @@ pre .javascript .function,pre .keyword {
} }
.copy-button { .copy-button {
-moz-appearance: button; background-color: #3f3f3f;
-webkit-appearance: button; border: 1px solid #999;
border-radius: 5px;
color: #d8d8d8;
cursor: pointer; 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; -webkit-user-select: none;
-moz-user-select: none; -moz-user-select: none;
-ms-user-select: none; -ms-user-select: none;
user-select: none; -webkit-appearance: button;
font-size: .8em;
line-height: 1em;
font-family: monospace,monospace;
padding: 2px;
} }