Convert to pixels and adjust border-radius

diff --git a/docs/assets/less/clipboard-js.less b/docs/assets/less/clipboard-js.less
index af4a75b435dc0efad2df1b6f7822726abdc0bbc2..e1b628fd9187506310901dfcc2e61d1273967308 100644 (file)
--- a/docs/assets/less/clipboard-js.less
+++ b/docs/assets/less/clipboard-js.less
@@ -18,13 +18,14 @@
   right: 0;
   z-index: 10;
   display: block;
-  padding: .25rem .5rem;
+  padding: 4px 8px;
   font-size: 12px;
   color: #818a91;
   cursor: pointer;
   background-color: transparent;
   border: 0;
-  border-radius: .25rem;
+  border-top-right-radius: 4px;
+  border-bottom-left-radius: 4px;
 
   &:hover {
     color: #fff;