jwilles commited on
Commit
43ae4c7
·
1 Parent(s): 6fa5c81
Files changed (2) hide show
  1. app.py +3 -1
  2. src/display/css_html_js.py +1 -37
app.py CHANGED
@@ -84,7 +84,9 @@ with demo:
84
  </div>
85
  """)
86
  # gr.HTML(TITLE)
87
- gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
 
 
88
 
89
  with gr.Tabs(elem_classes="tab-buttons") as tabs:
90
  with gr.TabItem("Base Benchmark", elem_id="llm-benchmark-tab-table", id=0):
 
84
  </div>
85
  """)
86
  # gr.HTML(TITLE)
87
+ with gr.Box(elem_classes="intro-block"):
88
+ gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
89
+ # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
90
 
91
  with gr.Tabs(elem_classes="tab-buttons") as tabs:
92
  with gr.TabItem("Base Benchmark", elem_id="llm-benchmark-tab-table", id=0):
src/display/css_html_js.py CHANGED
@@ -95,14 +95,8 @@ custom_css = """
95
  border: 0
96
  }
97
 
98
- @font-face {
99
- font-family: 'Karbon';
100
- font-weight: 400;
101
- font-style: normal;
102
- }
103
-
104
  body, .gradio-container {
105
- font-family: 'Karbon', sans-serif;
106
  background-color: #ffffff;
107
  color: #000000; /* main text color */
108
  margin: 0;
@@ -115,36 +109,6 @@ h1, h2, h3, h4, h5, h6 {
115
  margin-bottom: 1rem;
116
  }
117
 
118
- .tab-buttons > .tabitem {
119
- background-color: transparent;
120
- border: 2px solid #eb088a;
121
- color: #eb088a;
122
- margin-right: 5px;
123
- cursor: pointer;
124
- transition: all 0.2s ease-in-out;
125
- }
126
- .tab-buttons > .tabitem:hover {
127
- background-color: #eb088a;
128
- color: #ffffff;
129
- }
130
-
131
- .markdown-text {
132
- line-height: 1.6;
133
- margin-bottom: 2rem;
134
- }
135
-
136
- /* Dataframe styling example */
137
- .gr-dataframe table {
138
- border: 1px solid #eb088a;
139
- }
140
- .gr-dataframe th {
141
- background-color: #eb088a;
142
- color: #ffffff;
143
- }
144
- .gr-dataframe td {
145
- border-bottom: 1px solid #eb088a;
146
- }
147
-
148
  /* Example ‘intro-block’ styling if you want extra flair */
149
  .intro-block {
150
  background-color: #eb088a10; /* light tinted background */
 
95
  border: 0
96
  }
97
 
 
 
 
 
 
 
98
  body, .gradio-container {
99
+ font-family: Roboto, sans-serif;
100
  background-color: #ffffff;
101
  color: #000000; /* main text color */
102
  margin: 0;
 
109
  margin-bottom: 1rem;
110
  }
111
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
112
  /* Example ‘intro-block’ styling if you want extra flair */
113
  .intro-block {
114
  background-color: #eb088a10; /* light tinted background */