From 5bec09551be77a67ab6b1f6d40ba6af120aa5860 Mon Sep 17 00:00:00 2001
From: Marc Huisinga <mhuisi@protonmail.com>
Date: Tue, 5 Nov 2024 18:16:15 +0100
Subject: [PATCH] refactor: remove dead code

---
 vscode-lean4/loogleview/index.ts         | 2 --
 vscode-lean4/loogleview/static/index.css | 1 -
 2 files changed, 3 deletions(-)

diff --git a/vscode-lean4/loogleview/index.ts b/vscode-lean4/loogleview/index.ts
index d87820a5..f201b764 100644
--- a/vscode-lean4/loogleview/index.ts
+++ b/vscode-lean4/loogleview/index.ts
@@ -200,12 +200,10 @@ class LoogleView {
     }
 
     private createQuerySuggestionNode(querySuggestion: string): HTMLElement {
-        //const paragraph = document.createElement('p')
         const link = document.createElement('a')
         link.href = 'javascript:void(0)'
         link.innerText = querySuggestion
         link.addEventListener('click', () => this.runSuggestion(querySuggestion))
-        //paragraph.appendChild(link)
         return link
     }
 
diff --git a/vscode-lean4/loogleview/static/index.css b/vscode-lean4/loogleview/static/index.css
index bb6a8913..fde2a575 100644
--- a/vscode-lean4/loogleview/static/index.css
+++ b/vscode-lean4/loogleview/static/index.css
@@ -44,7 +44,6 @@
 
     box-sizing: border-box;
     position: relative;
-    display: flex;
     flex-direction: row;
     color: var(--vscode-input-foreground);
     background: var(--vscode-input-background);