Release files for 0.56.3 (#933)

2023-01-16 21:51:17 -08:00
parent 83d14ac191
commit 7ab33f66d7
25 changed files with 1013 additions and 56 deletions
--- a/docs/_static/copybutton.css
+++ b/docs/_static/copybutton.css
@@ -35,7 +35,8 @@ div.highlight  {
    position: relative;
 }

-.highlight:hover button.copybtn {
+/* Show the copybutton */
+.highlight:hover button.copybtn, button.copybtn.success {
 	opacity: 1;
 }