Spaces:
Running
on
Zero
Running
on
Zero
Update app.py
Browse files
app.py
CHANGED
@@ -25,15 +25,6 @@ if not any(isinstance(h, BufferLogHandler) for h in root_logger.handlers):
|
|
25 |
handler.setFormatter(formatter)
|
26 |
root_logger.addHandler(handler)
|
27 |
|
28 |
-
|
29 |
-
favicon_html = """
|
30 |
-
<head>
|
31 |
-
<link rel="icon" type="image/x-icon" href="file/assets/deepgit.ico">
|
32 |
-
<title>DeepGit Research Agent</title>
|
33 |
-
</head>
|
34 |
-
"""
|
35 |
-
|
36 |
-
|
37 |
def filter_logs(logs):
|
38 |
filtered = []
|
39 |
last_was_fetching = False
|
@@ -144,23 +135,25 @@ with gr.Blocks(
|
|
144 |
#footer { text-align: center; margin-top: 20px; }
|
145 |
"""
|
146 |
) as demo:
|
147 |
-
gr.HTML(favicon_html)
|
148 |
gr.Markdown(
|
149 |
"""
|
150 |
-
<div style="
|
151 |
-
|
152 |
-
|
153 |
-
|
154 |
-
|
155 |
-
|
156 |
-
|
157 |
-
|
158 |
-
|
|
|
|
|
159 |
</div>
|
160 |
""",
|
161 |
elem_id="header"
|
162 |
)
|
163 |
|
|
|
164 |
# Centered main container for inputs and outputs.
|
165 |
with gr.Column(elem_id="main-container"):
|
166 |
research_input = gr.Textbox(
|
|
|
25 |
handler.setFormatter(formatter)
|
26 |
root_logger.addHandler(handler)
|
27 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
28 |
def filter_logs(logs):
|
29 |
filtered = []
|
30 |
last_was_fetching = False
|
|
|
135 |
#footer { text-align: center; margin-top: 20px; }
|
136 |
"""
|
137 |
) as demo:
|
|
|
138 |
gr.Markdown(
|
139 |
"""
|
140 |
+
<div style="padding-top: 60px;">
|
141 |
+
<div style="display: flex; align-items: center; justify-content: center;">
|
142 |
+
<img src="https://img.icons8.com/?size=100&id=118557&format=png&color=000000" style="width: 60px; height: 60px; margin-right: 12px;">
|
143 |
+
<h1 style="margin: 0; font-size: 2.2em;">DeepGit Lite</h1>
|
144 |
+
</div>
|
145 |
+
<div style="text-align: center; margin-top: 10px;">
|
146 |
+
<p style="margin: 0;">
|
147 |
+
Explore GitHub repositories with deep semantic search.<br>
|
148 |
+
Check out our <a href="https://github.com/zamalali/DeepGit" target="_blank">GitHub</a> for more details.
|
149 |
+
</p>
|
150 |
+
</div>
|
151 |
</div>
|
152 |
""",
|
153 |
elem_id="header"
|
154 |
)
|
155 |
|
156 |
+
|
157 |
# Centered main container for inputs and outputs.
|
158 |
with gr.Column(elem_id="main-container"):
|
159 |
research_input = gr.Textbox(
|