Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -35,11 +35,26 @@ def timer():
|
|
35 |
// Create new timer element in parent document
|
36 |
var timerDiv = window.parent.document.createElement('div');
|
37 |
timerDiv.id = 'parent-timer';
|
38 |
-
timerDiv.style.
|
39 |
-
|
40 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
41 |
timerDiv.innerHTML = '⏱️ Elapsed: 00:00';
|
42 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
43 |
|
44 |
var start = Date.now();
|
45 |
var timerInterval = setInterval(function() {
|
@@ -153,7 +168,7 @@ if uploaded_file is not None:
|
|
153 |
""")
|
154 |
|
155 |
# Show results
|
156 |
-
st.subheader("Results")
|
157 |
st.write("**Caption:**", st.session_state.processed_data['scenario'])
|
158 |
st.write("**Story:**", st.session_state.processed_data['story'])
|
159 |
|
|
|
35 |
// Create new timer element in parent document
|
36 |
var timerDiv = window.parent.document.createElement('div');
|
37 |
timerDiv.id = 'parent-timer';
|
38 |
+
timerDiv.style.cssText = `
|
39 |
+
font-size: 16px;
|
40 |
+
color: #666;
|
41 |
+
margin: 10px 0;
|
42 |
+
padding: 8px;
|
43 |
+
background: #f0f2f6;
|
44 |
+
border-radius: 4px;
|
45 |
+
position: sticky;
|
46 |
+
top: 0;
|
47 |
+
z-index: 999;
|
48 |
+
`;
|
49 |
timerDiv.innerHTML = '⏱️ Elapsed: 00:00';
|
50 |
+
|
51 |
+
// Insert timer just below the header
|
52 |
+
var header = window.parent.document.querySelector('[data-testid="stHeader"]');
|
53 |
+
if (header) {
|
54 |
+
header.insertAdjacentElement('afterend', timerDiv);
|
55 |
+
} else {
|
56 |
+
window.parent.document.body.prepend(timerDiv);
|
57 |
+
}
|
58 |
|
59 |
var start = Date.now();
|
60 |
var timerInterval = setInterval(function() {
|
|
|
168 |
""")
|
169 |
|
170 |
# Show results
|
171 |
+
# st.subheader("Results")
|
172 |
st.write("**Caption:**", st.session_state.processed_data['scenario'])
|
173 |
st.write("**Story:**", st.session_state.processed_data['story'])
|
174 |
|