Spaces:
Running
Running
File size: 4,386 Bytes
3083fe6 6399a7e 214658f 0963be5 214658f 0963be5 214658f 0963be5 214658f 0963be5 4875154 fda7f2e d77dbfa fda7f2e 4875154 182b93f fda7f2e 182b93f fda7f2e 182b93f 4875154 182b93f 4875154 182b93f fda7f2e 4875154 182b93f fda7f2e 182b93f 4875154 d77dbfa fda7f2e d77dbfa fda7f2e 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 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 |
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;
}
/* Tab styling - no borders, only blue underline for active tabs */
.gradio-container .tab-nav button,
.gradio-container button[role="tab"],
.gradio-container .tabs button {
background-color: transparent !important;
background: transparent !important;
color: black !important;
border: none !important;
border-bottom: 2px solid transparent !important;
transition: all 0.3s ease !important;
display: block !important;
visibility: visible !important;
}
.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 {
background-color: transparent !important;
background: transparent !important;
color: #667eea !important;
border: none !important;
border-bottom: 2px solid #667eea !important;
}
.gradio-container .tabs button[aria-selected="true"],
.gradio-container .tabs button.selected {
background-color: transparent !important;
background: transparent !important;
color: #667eea !important;
border: none !important;
border-bottom: 2px solid #667eea !important;
}
/* Hover state for tabs - subtle blue text */
.gradio-container .tab-nav button:hover,
.gradio-container button[role="tab"]:hover,
.gradio-container .tabs button:hover {
background-color: transparent !important;
background: transparent !important;
color: #5a6fd8 !important;
border: none !important;
}
/* Specific targeting for tab icons and active states */
.gradio-container [data-testid="tab"] button[aria-selected="true"],
.gradio-container .tab button[aria-selected="true"],
.gradio-container [role="tablist"] button[aria-selected="true"] {
background-color: transparent !important;
background: transparent !important;
color: #667eea !important;
border: none !important;
border-bottom: 2px solid #667eea !important;
}
/* Ensure all tab buttons are visible with black text */
.gradio-container [data-testid="tab"] button,
.gradio-container .tab button,
.gradio-container [role="tablist"] button {
background-color: transparent !important;
background: transparent !important;
color: black !important;
border: none !important;
border-bottom: 2px solid transparent !important;
display: block !important;
visibility: visible !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() |