Spaces:
Running
Running
File size: 2,813 Bytes
3083fe6 6399a7e 214658f 0963be5 214658f 0963be5 214658f 0963be5 214658f 0963be5 4875154 3ea5c1c 4875154 182b93f 4875154 182b93f 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 |
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;
}
/* Only style active tabs with blue underline, leave other buttons alone */
.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 {
color: #667eea !important;
border-bottom: 2px solid #667eea !important;
}
.gradio-container .tabs button[aria-selected="true"],
.gradio-container .tabs button.selected {
color: #667eea !important;
border-bottom: 2px solid #667eea !important;
}
.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;
}
"""
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() |