update

doc/LectureNotes/_build/html/_static/copybutton.css

@@ -3,7 +3,7 @@ button.copybtn {
     position: absolute;
     display: flex;
     top: .3em;
-    right: .5em;
+    right: .3em;
     width: 1.7em;
     height: 1.7em;
 	opacity: 0;
@@ -13,17 +13,22 @@ button.copybtn {
     border: none;
     outline: none;
     border-radius: 0.4em;
-    border: #e1e1e1 1px solid;
-    background-color: rgb(245, 245, 245);
+    /* The colors that GitHub uses */
+    border: #1b1f2426 1px solid;
+    background-color: #f6f8fa;
+    color: #57606a;
 }
 
 button.copybtn.success {
     border-color: #22863a;
+    color: #22863a;
 }
 
-button.copybtn img {
-    width: 100%;
-    padding: .2em;
+button.copybtn svg {
+    stroke: currentColor;
+    width: 1.5em;
+    height: 1.5em;
+    padding: 0.1em;
 }
 
 div.highlight  {
@@ -79,3 +84,10 @@ div.highlight  {
     transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
     transition-delay: .5s;
 }
+
+/* By default the copy button shouldn't show up when printing a page */
+@media print {
+    button.copybtn {
+        display: none;
+    }
+}