File size: 5,765 Bytes
0061e14
70a0e60
 
 
 
 
 
0061e14
005b269
1bed249
4d77847
1bed249
005b269
1bed249
70a0e60
 
 
4d77847
1bed249
 
 
70a0e60
 
005b269
70a0e60
1bed249
4d77847
70a0e60
 
1bed249
 
 
70a0e60
4d77847
1bed249
70a0e60
 
 
 
 
 
 
1bed249
 
4d77847
70a0e60
4d77847
1bed249
70a0e60
 
4d77847
 
1bed249
 
70a0e60
 
 
1bed249
70a0e60
 
 
4d77847
 
 
70a0e60
4d77847
 
 
 
 
 
 
70a0e60
4d77847
 
 
 
1bed249
70a0e60
1bed249
 
70a0e60
 
 
 
 
1bed249
005b269
4d77847
8c131f3
 
 
 
 
 
 
 
1bed249
8c131f3
 
 
 
 
 
 
 
 
 
 
0061e14
 
 
 
 
 
 
 
 
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;
    }
    """