Update app.py

app.py

@@ -12,7 +12,6 @@ import atexit
 import subprocess
 from urllib.parse import urlparse, quote
 import webbrowser
-import spaces
 
 # Constants
 INPUT_DIRECTORY = 'input'
@@ -122,6 +121,7 @@ class GitHubBot:
             timestamp = datetime.now().strftime("%Y%m%d_%H%M%S")
             resolution_file = f"{RESOLUTIONS_DIRECTORY}/resolution_{issue_number}_{timestamp}.md"
 
+            ```python
             with open(resolution_file, "w") as f:
                 f.write(f"# Resolution for Issue #{issue_number}\n\n{resolution}")
 
@@ -235,7 +235,7 @@ custom_html = """
         }
         .card {
             border-radius: 1.5rem;
-            box-shadow: 0 15px 25px rgba (0, 0, 0, 0.2);
+            box-shadow: 0 15px 25px rgba(0, 0, 0, 0.2);
             margin-bottom: 20px;
         }
         .input, .select, .textarea {
@@ -337,10 +337,10 @@ custom_html = """
     </div>
 </div>
 <script>
-    const githubTokenInput = document.getElementById('github-token');
+    const githubTokenInput = document.getElementById(' github-token');
     const repoUrlInput = document.getElementById('repo-url');
-const fetchIssuesButton = document.getElementById('fetch-issues');
-const issueDropdown = document.getElementById('issue-dropdown');
+    const fetchIssuesButton = document.getElementById('fetch-issues');
+    const issueDropdown = document.getElementById('issue-dropdown');
     const resolutionTextarea = document.getElementById('resolution-textarea');
     const forkedRepoUrlInput = document.getElementById('forked-repo-url');
     const resolveIssueButton = document.getElementById('resolve-issue');