File size: 5,765 Bytes
4d77847
 
 
 
 
 
 
 
0061e14
4d77847
 
 
 
 
 
 
 
 
 
 
 
 
 
0061e14
4d77847
 
 
 
 
 
 
 
 
 
 
 
9eba8d6
4d77847
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
333d45b
4d77847
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
0061e14
4d77847
 
 
 
 
 
 
 
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
custom_css = """
:root, [data-theme="light"] {
  --f1-text: #111827;
  --f1-subtle: #6b7280;
  --f1-border: #e5e7eb;
  --f1-bg: #ffffff;
  --f1-bg-muted: #f9fafb;
}

/* Readable width */
.f1-container { max-width: 800px; margin: 0 auto; padding: 0 16px; }
.markdown-text { font-size: 16px !important; max-width: 800px; margin: 0 auto; }

/* Paragraphs: nice wrapping */
.f1-p, .f1-li {
  line-height: 1.75;
  color: #374151;
  text-align: left;
  text-wrap: pretty;
  overflow-wrap: break-word;
  hyphens: auto;
  word-break: normal;
}

/* Headings */
.f1-h1 { font-weight: 700; font-size: 2.25rem; line-height: 2.5rem; color: var(--f1-text); text-align: center; margin-bottom: 1.25rem !important; }
.f1-h2 { /* smaller section headings */
  font-weight: 700;
  border-bottom: 1px solid var(--f1-border);
  padding-bottom: 0.45rem;
  margin-top: 1.75rem;
  margin-bottom: 0.9rem;
  color: var(--f1-text);
  font-size: 1.5rem;
  line-height: 2rem;
}

/* Links */
.f1-a { color: #2563eb; text-decoration: none; font-weight: 500; }
.f1-a:hover { text-decoration: underline; }

/* Blockquote & problem box */
.f1-blockquote { border-left: 4px solid #d1d5db; padding-left: 1rem; margin-left: 0; font-style: italic; color: #4b5563; }
.f1-problem-box { background-color: var(--f1-bg-muted); border: 1px solid var(--f1-border); border-radius: 8px; padding: 16px; margin-top: 16px; margin-bottom: 16px; box-shadow: 0 1px 2px 0 rgb(0 0 0 / 0.04); }
.f1-problem-name { font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace; font-weight: 600; text-align: center; }

/* Clean, centered table: only top & left borders; not full width; headers centered */
.f1-table-wrap { margin: 10px auto 8px auto; text-align: center; }
.f1-table {
  border-collapse: collapse;
  width: auto;      /* not full width */
  margin: 0 auto;   /* centered */
  border-top: 1px solid var(--f1-border);
  border-left: 1px solid var(--f1-border);
  background: var(--f1-bg);
}
.f1-table th, .f1-table td {
  padding: 8px 12px;
  text-align: left;
  vertical-align: top;
}
.f1-table th { text-align: center; }  /* header cells centered */
.f1-table tr + tr td { border-top: 1px solid var(--f1-border); }  /* row separators that visually keep top line only */
.f1-table td + td, .f1-table th + th { border-left: 1px solid var(--f1-border); } /* vertical grid from left border only */

/* Examples block (Gradio-based) */
#f1-examples { border: 1px solid var(--f1-border); border-radius: 8px; background: var(--f1-bg); margin-bottom: 12px; }
#f1-examples .f1-examples-title { font-weight: 700; margin: 12px 14px 4px 14px; color: var(--f1-text); font-size: 1.1rem; }
#f1-example-radio { border-top: 1px solid var(--f1-border); padding: 6px 8px; }
#f1-example-radio .wrap { display: flex; gap: 8px; flex-wrap: wrap; justify-content: flex-start; }
#f1-example-radio label { border: 1px solid transparent; border-radius: 6px; padding: 6px 10px; cursor: pointer; }
#f1-example-radio input[type="radio"]:checked + span { background: var(--f1-bg-muted); border: 1px solid var(--f1-border); border-radius: 6px; padding: 6px 10px; }

/* Leaderboard: full-width controls, nesting rule, center container */
#formulaone-leaderboard-tab-table { max-width: 1200px; margin-left: auto; margin-right: auto; }  /* center the whole tab (8) */
#formulaone-leaderboard-tab-table .gr-column .gr-row .gr-column { min-width: 80% !important; }  /* (7) exact chain rule */
#formulaone-leaderboard-tab-table .gr-row, #formulaone-leaderboard-tab-table .gr-column { width: 100% !important; max-width: 100% !important; }
#formulaone-leaderboard-tab-table [data-testid="dropdown"], #formulaone-leaderboard-tab-table input[type="text"] { width: 100% !important; }

/* Login button: force light */
#hf-login-btn, #hf-login-btn button, button[data-testid="login-button"], [data-testid="login-button"] button, div[data-testid="login-button"] > button {
  background: #ffffff !important;
  color: #1f2937 !important;
  border: 1px solid var(--f1-border) !important;
  box-shadow: 0 1px 2px 0 rgb(0 0 0 / 0.04) !important;
}
#hf-login-btn:hover, #hf-login-btn button:hover, button[data-testid="login-button"]:hover, [data-testid="login-button"] button:hover, div[data-testid="login-button"] > button:hover { background: #f9fafb !important; }

/* Misc retained */
#models-to-add-text { font-size: 18px !important; }
#citation-button span { font-size: 16px !important; }
#citation-button textarea { font-size: 16px !important; }
#citation-button > label > button { margin: 6px; transform: scale(1.3); }
#leaderboard-table { margin-top: 15px }
#leaderboard-table-lite { margin-top: 15px }
#search-bar-table-box > div:first-child { background: none; border: none; }
#search-bar { padding: 0px; }
#leaderboard-table td:nth-child(2), #leaderboard-table th:nth-child(2) { max-width: 400px; overflow: auto; white-space: nowrap; }
#scale-logo { border-style: none !important; box-shadow: none; display: block; margin-left: auto; margin-right: auto; max-width: 600px; }
#scale-logo .download { display: none; }
#filter_type{ border: 0; padding-left: 0; padding-top: 0; }
#filter_type label { display: flex; }
#filter_type label > span{ margin-top: var(--spacing-lg); margin-right: 0.5em; }
#filter_type label > .wrap{ width: 103px; }
#filter_type label > .wrap .wrap-inner{ padding: 2px; }
#filter_type label > .wrap .wrap-inner input{ width: 1px }
#filter-columns-type{ border:0; padding:0.5; }
#filter-columns-size{ border:0; padding:0.5; }
#box-filter > .form{ border: 0 }
"""

get_window_url_params = """
    function(url_params) {
        const params = new URLSearchParams(window.location.search);
        url_params = Object.fromEntries(params);
        return url_params;
    }
    """