proper fix for #18439 w/ clippy placement and hover

diff --git a/docs/assets/scss/_clipboard-js.scss b/docs/assets/scss/_clipboard-js.scss
index 81bd69317f740ded577f742b60f24213cb15729a..22abfbd653405448e5a98b0256c7c87d543fb413 100644 (file)
--- a/docs/assets/scss/_clipboard-js.scss
+++ b/docs/assets/scss/_clipboard-js.scss
@@ -6,6 +6,10 @@
   position: relative;
   display: none;
   float: right;
+
+  + .highlight {
+    margin-top: 0;
+  }
 }
 
 .btn-clipboard {
@@ -20,11 +24,11 @@
   cursor: pointer;
   background-color: transparent;
   border-radius: .25rem;
-}
 
-.btn-clipboard-hover {
-  color: #fff;
-  background-color: #027de7;
+  &:hover {
+    color: #fff;
+    background-color: #027de7;
+  }
 }
 
 @media (min-width: 768px) {