fix new z-index issue with miniterm caused by antd upgrade

Author: williamstein

src/packages/frontend/project/explorer/search-bar.tsx

@@ -30,7 +30,7 @@ const HelpStyle = {
 export const outputMinitermStyle: React.CSSProperties = {
   background: "white",
   position: "absolute",
-  zIndex: 2,
+  zIndex: 10,
   boxShadow: "-4px 4px 7px #aaa",
   maxHeight: "450px",
   overflow: "auto",