From 6de7ba427b3eeb24ae5f6eb5438a8311eff4d762 Mon Sep 17 00:00:00 2001 From: Mark Otto Date: Mon, 24 Sep 2018 21:11:00 -0700 Subject: [PATCH] Convert to pixels and adjust border-radius --- docs/assets/less/clipboard-js.less | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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; -- 2.47.2