Added thebe info button to top bar

thebe_lite/_static/code.css

@@ -16,6 +16,7 @@
     border-radius: calc(var(--mystnb-source-border-radius) + 1px);
     background-color: var(--pst-color-surface);
     color: var(--pst-color-text-base);
+    height: 100% !important;
 }
 
 .cell_output .jp-OutputArea-output pre {

thebe_lite/_static/sphinx-thebe.js

@@ -407,6 +407,9 @@ var initThebe = async () => {
   // Remove Rocket now that we're initializing
   document.querySelector(".dropdown-launch-buttons").remove();
 
+  // Add the launch info to the top bar
+  $(".dropdown-download-buttons").before($(".thebe-launch-button"));
+
   console.log("[sphinx-thebe]: Loading thebe...");
   $(".thebe-launch-button ").text("Loading thebe...");