bradley6597 commited on
Commit
41c9393
1 Parent(s): 67cdfd9

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +6 -2
app.py CHANGED
@@ -103,7 +103,7 @@ def search_index(search_text, sd, ks, sort_by, max_results, user_num, search_tit
103
  load_more_visible = False
104
  extra_info = ''
105
  if 'map' in search_text:
106
- extra_info = '<strong>If real-world maps are needed please check they are from the folder: Illustrations Now > Maps - Using the New Guidance (2024)</strong><br>'
107
  if len(output) > 0:
108
 
109
  output_df = (pd.DataFrame(output)
@@ -114,7 +114,7 @@ def search_index(search_text, sd, ks, sort_by, max_results, user_num, search_tit
114
  output_df['Date Created'] = pd.to_datetime(output_df['Date Created'], format = 'mixed')
115
  map_df = output_df[output_df['title'].str.contains('map|Map', regex = True)]
116
  if map_df.shape[0] > 0:
117
- extra_info = '<strong>If real-world maps are needed please check they are from the folder: Illustrations Now > Maps - Using the New Guidance (2024)</strong><br>'
118
 
119
  output_df['url'] = output_df['url'].str.replace("/u/0/", f"/u/{int(user_num)}/", regex = False)
120
  if len(sd) == 1:
@@ -248,6 +248,10 @@ td img{
248
  margin:0.4em auto !important;
249
  }
250
  }
 
 
 
 
251
  '''
252
 
253
  with gr.Blocks(css=style) as app:
 
103
  load_more_visible = False
104
  extra_info = ''
105
  if 'map' in search_text:
106
+ extra_info = '<div id="mapBorder"><strong>If real-world maps are needed please check they are from the folder: Illustrations Now > Maps - Using the New Guidance (2024)</strong></div><br>'
107
  if len(output) > 0:
108
 
109
  output_df = (pd.DataFrame(output)
 
114
  output_df['Date Created'] = pd.to_datetime(output_df['Date Created'], format = 'mixed')
115
  map_df = output_df[output_df['title'].str.contains('map|Map', regex = True)]
116
  if map_df.shape[0] > 0:
117
+ extra_info = '<div id="mapBorder"><strong>If real-world maps are needed please check they are from the folder: Illustrations Now > Maps - Using the New Guidance (2024)</strong></div><br>'
118
 
119
  output_df['url'] = output_df['url'].str.replace("/u/0/", f"/u/{int(user_num)}/", regex = False)
120
  if len(sd) == 1:
 
248
  margin:0.4em auto !important;
249
  }
250
  }
251
+ #mapBorder {
252
+ border-radius: 25px;
253
+ border: 2px solid orange;
254
+ }
255
  '''
256
 
257
  with gr.Blocks(css=style) as app: