app.py

import gradio as gr
import os
from src.assets import custom_css

# Additional CSS to override remote Space styling
override_css = custom_css + """
/* Force override remote Space styling with higher specificity */
div.gradio-container .gradio-dataframe th,
div.gradio-container div.gradio-dataframe th,
.gr-box .gradio-dataframe th,
.gr-form .gradio-dataframe th,
body .gradio-dataframe th,
html .gradio-dataframe th {
    background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
    color: white !important;
    font-weight: 600 !important;
    border: 1px solid rgba(255,255,255,0.2) !important;
}

/* Override hover effects */
div.gradio-container .gradio-dataframe th:hover,
div.gradio-container div.gradio-dataframe th:hover,
.gr-box .gradio-dataframe th:hover,
body .gradio-dataframe th:hover {
    background: linear-gradient(135deg, #5a6fd8 0%, #6b4190 100%) !important;
    transform: translateY(-1px) !important;
    box-shadow: 0 3px 6px rgba(0,0,0,0.15) !important;
}

/* Override table row hover */
div.gradio-container .gradio-dataframe tbody tr:hover,
body .gradio-dataframe tbody tr:hover {
    background-color: #e3f2fd !important;
}

/* Additional React table styling overrides */
.leaderboard-table-container .header-cell,
.leaderboard-table .header-cell,
div .header-cell,
body .header-cell {
    background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
    color: white !important;
}

.leaderboard-table-container .header-cell:hover,
.leaderboard-table .header-cell:hover,
div .header-cell:hover,
body .header-cell:hover {
    background: linear-gradient(135deg, #5a6fd8 0%, #6b4190 100%) !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=override_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()