Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -30,98 +30,6 @@ blue_ui_css = """
|
|
30 |
.gradio-container label input[type="radio"]:checked::before {
|
31 |
background-color: #667eea !important;
|
32 |
}
|
33 |
-
|
34 |
-
/* Comprehensive button styling to override orange buttons */
|
35 |
-
.gradio-container button,
|
36 |
-
.gradio-container .gr-button,
|
37 |
-
.gradio-container input[type="button"],
|
38 |
-
.gradio-container input[type="submit"],
|
39 |
-
.gradio-container .btn,
|
40 |
-
.gradio-container [role="button"] {
|
41 |
-
background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
|
42 |
-
background-color: #667eea !important;
|
43 |
-
border-color: #667eea !important;
|
44 |
-
color: white !important;
|
45 |
-
border: 1px solid #667eea !important;
|
46 |
-
}
|
47 |
-
|
48 |
-
.gradio-container button:hover,
|
49 |
-
.gradio-container .gr-button:hover,
|
50 |
-
.gradio-container input[type="button"]:hover,
|
51 |
-
.gradio-container input[type="submit"]:hover,
|
52 |
-
.gradio-container .btn:hover,
|
53 |
-
.gradio-container [role="button"]:hover {
|
54 |
-
background: linear-gradient(135deg, #5a6fd8 0%, #6b4190 100%) !important;
|
55 |
-
background-color: #5a6fd8 !important;
|
56 |
-
border-color: #5a6fd8 !important;
|
57 |
-
transform: translateY(-1px) !important;
|
58 |
-
box-shadow: 0 2px 4px rgba(0,0,0,0.1) !important;
|
59 |
-
}
|
60 |
-
|
61 |
-
.gradio-container button:active,
|
62 |
-
.gradio-container .gr-button:active,
|
63 |
-
.gradio-container input[type="button"]:active,
|
64 |
-
.gradio-container input[type="submit"]:active,
|
65 |
-
.gradio-container .btn:active,
|
66 |
-
.gradio-container [role="button"]:active {
|
67 |
-
background: linear-gradient(135deg, #4e5bc6 0%, #5e397e 100%) !important;
|
68 |
-
background-color: #4e5bc6 !important;
|
69 |
-
border-color: #4e5bc6 !important;
|
70 |
-
transform: translateY(0) !important;
|
71 |
-
}
|
72 |
-
|
73 |
-
/* Primary button variants */
|
74 |
-
.gradio-container button.primary,
|
75 |
-
.gradio-container .gr-button.primary,
|
76 |
-
.gradio-container button[data-variant="primary"],
|
77 |
-
.gradio-container .primary,
|
78 |
-
.gradio-container .btn-primary {
|
79 |
-
background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
|
80 |
-
background-color: #667eea !important;
|
81 |
-
border-color: #667eea !important;
|
82 |
-
color: white !important;
|
83 |
-
}
|
84 |
-
|
85 |
-
/* Secondary button variants */
|
86 |
-
.gradio-container button.secondary,
|
87 |
-
.gradio-container .gr-button.secondary,
|
88 |
-
.gradio-container button[data-variant="secondary"],
|
89 |
-
.gradio-container .secondary,
|
90 |
-
.gradio-container .btn-secondary {
|
91 |
-
background: linear-gradient(135deg, #3b82f6 0%, #1e40af 100%) !important;
|
92 |
-
background-color: #3b82f6 !important;
|
93 |
-
border-color: #3b82f6 !important;
|
94 |
-
color: white !important;
|
95 |
-
}
|
96 |
-
|
97 |
-
/* Stop/danger button variants */
|
98 |
-
.gradio-container button.stop,
|
99 |
-
.gradio-container .gr-button.stop,
|
100 |
-
.gradio-container button[data-variant="stop"],
|
101 |
-
.gradio-container .stop,
|
102 |
-
.gradio-container .btn-danger {
|
103 |
-
background: linear-gradient(135deg, #ef4444 0%, #dc2626 100%) !important;
|
104 |
-
background-color: #ef4444 !important;
|
105 |
-
border-color: #ef4444 !important;
|
106 |
-
color: white !important;
|
107 |
-
}
|
108 |
-
|
109 |
-
/* Override any remaining orange colors */
|
110 |
-
.gradio-container * {
|
111 |
-
--primary-color: #667eea !important;
|
112 |
-
--primary-600: #667eea !important;
|
113 |
-
--primary-500: #667eea !important;
|
114 |
-
--primary-400: #667eea !important;
|
115 |
-
--orange-500: #667eea !important;
|
116 |
-
--orange-600: #667eea !important;
|
117 |
-
}
|
118 |
-
|
119 |
-
/* Force override for stubborn orange buttons */
|
120 |
-
.gradio-container button[style*="background"],
|
121 |
-
.gradio-container .gr-button[style*="background"] {
|
122 |
-
background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
|
123 |
-
background-color: #667eea !important;
|
124 |
-
}
|
125 |
"""
|
126 |
|
127 |
SPACE_REPO_ID = "IneqMath/IneqMath_Judge_Private"
|
@@ -153,4 +61,4 @@ with gr.Blocks(css=blue_ui_css) as demo:
|
|
153 |
gr.Markdown(f"**Failed to load remote Space.**\n\nError: {load_error}")
|
154 |
|
155 |
if __name__ == "__main__":
|
156 |
-
demo.launch()
|
|
|
30 |
.gradio-container label input[type="radio"]:checked::before {
|
31 |
background-color: #667eea !important;
|
32 |
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
33 |
"""
|
34 |
|
35 |
SPACE_REPO_ID = "IneqMath/IneqMath_Judge_Private"
|
|
|
61 |
gr.Markdown(f"**Failed to load remote Space.**\n\nError: {load_error}")
|
62 |
|
63 |
if __name__ == "__main__":
|
64 |
+
demo.launch()
|