From: Mark Otto <markdotto@gmail.com>
Date: Tue, 25 Sep 2018 04:11:00 +0000 (-0700)
Subject: Convert to pixels and adjust border-radius
X-Git-Tag: v3.4.0~22
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=6de7ba427b3eeb24ae5f6eb5438a8311eff4d762;p=thirdparty%2Fbootstrap.git

Convert to pixels and adjust border-radius
---

diff --git a/docs/assets/less/clipboard-js.less b/docs/assets/less/clipboard-js.less
index af4a75b435..e1b628fd91 100644
--- 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;