Update app.py

app.py

@@ -30,20 +30,6 @@ basecss = """
   line-height: 1.5;
   color: #222; 
 }"""
-jscode = """
-/*
-function copyToClipboard(container) {
-  if (!container) return; // if container is undefined, do nothing
-  const titleElement = container.querySelector(".extra-info-paperid");
-  const titleText = titleElement.textContent;
-  const tempTextArea = document.createElement("textarea");
-  tempTextArea.value = titleText;
-  document.body.appendChild(tempTextArea);
-  tempTextArea.select();
-  document.execCommand("copy");
-  document.body.removeChild(tempTextArea);
-} */
-"""
 def get_papers():
     return fs.glob(datasetdir+"**.md")
 def get_papers_metadata(papiers=None):
@@ -155,7 +141,7 @@ paperid: {paperid}
         f.write(raw)
 def makepreview(x):
     return x
-with gr.Blocks(css=basecss, js=jscode, theme='NoCrypt/miku') as demo:
+with gr.Blocks(css=basecss, theme='NoCrypt/miku') as demo:
     gr.Image("./blue-arxiv.png", container=False, label=None, interactive=False, show_fullscreen_button=False, show_share_button=False, show_download_button=False)
     with gr.Tab("search"):
         with gr.Row():