Spaces:
Running
Running
File size: 3,288 Bytes
3083fe6 6399a7e 214658f 0963be5 214658f 0963be5 214658f 0963be5 214658f 0963be5 4875154 e33203b 4875154 e33203b 182b93f e33203b 182b93f e33203b 182b93f e33203b 4875154 e33203b 4875154 0963be5 3083fe6 170fbef 3083fe6 214658f 3083fe6 8fef6c7 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 |
import gradio as gr
import os
# CSS to change orange UI elements to blue
blue_ui_css = """
/* Change orange checkboxes and radio buttons to blue */
.gradio-container input[type="checkbox"]:checked,
.gradio-container .gr-checkbox input:checked + .checkmark,
.gradio-container .gr-checkboxgroup input:checked + .checkmark {
background-color: #667eea !important;
border-color: #667eea !important;
}
.gradio-container input[type="radio"]:checked,
.gradio-container .gr-radio input:checked + .checkmark,
.gradio-container .gr-radio input:checked::before {
background-color: #667eea !important;
border-color: #667eea !important;
}
/* Override any orange accent colors */
.gradio-container .gr-checkbox input:checked,
.gradio-container .gr-checkboxgroup input:checked,
.gradio-container .gr-radio input:checked {
accent-color: #667eea !important;
}
/* Target specific Gradio checkbox styling */
.gradio-container label input[type="checkbox"]:checked::before,
.gradio-container label input[type="radio"]:checked::before {
background-color: #667eea !important;
}
/* Comprehensive tab underline styling - blue instead of orange */
.gradio-container .tab-nav button[aria-selected="true"],
.gradio-container .tab-nav button.selected,
.gradio-container button[role="tab"][aria-selected="true"],
.gradio-container button[role="tab"].selected,
.gradio-container .tabs button[aria-selected="true"],
.gradio-container .tabs button.selected,
.gradio-container [data-testid="tab"] button[aria-selected="true"],
.gradio-container .tab button[aria-selected="true"],
.gradio-container [role="tablist"] button[aria-selected="true"] {
color: #667eea !important;
border-bottom: 2px solid #667eea !important;
border-bottom-color: #667eea !important;
}
/* Override any orange underlines specifically */
.gradio-container button[role="tab"][aria-selected="true"],
.gradio-container .tabs .tab-nav button[aria-selected="true"],
.gradio-container .tab-nav .tab-item[aria-selected="true"],
.gradio-container .gradio-tabs button[aria-selected="true"] {
border-bottom: 2px solid #667eea !important;
border-bottom-color: #667eea !important;
}
/* Force override orange tab indicators */
.gradio-container *[style*="border-bottom"][style*="orange"],
.gradio-container *[style*="border-color"][style*="orange"] {
border-bottom-color: #667eea !important;
}
"""
SPACE_REPO_ID = "IneqMath/IneqMath_Judge_Private"
hf_token = os.environ.get("HF_TOKEN")
if not hf_token:
try:
import getpass
hf_token = getpass.getpass("Enter your Hugging Face token (input hidden): ")
except Exception:
hf_token = input("Enter your Hugging Face token: ")
if not hf_token:
print("[ERROR] Hugging Face token is required. Set HF_TOKEN env variable or enter it when prompted.")
exit(1)
remote_space = None
load_error = None
try:
remote_space = gr.load(f"spaces/{SPACE_REPO_ID}", hf_token=hf_token)
except Exception as e:
load_error = str(e)
print(f"[ERROR] Failed to load remote Space: {load_error}")
with gr.Blocks(css=blue_ui_css) as demo:
if remote_space is not None:
remote_space.render()
else:
gr.Markdown(f"**Failed to load remote Space.**\n\nError: {load_error}")
if __name__ == "__main__":
demo.launch() |