kn404 commited on
Commit
0d868b1
·
1 Parent(s): c80f06e

fix explorer link

Browse files
Files changed (2) hide show
  1. app.py +3 -1
  2. styling.css +3 -2
app.py CHANGED
@@ -113,7 +113,9 @@ with gr.Blocks(
113
  <p>Find a prompt that passes all tests.</p>
114
  </div>
115
  <div class="home-banner-buttons">
116
- <button>Invariant Explorer →</h1>
 
 
117
  </div>
118
  </div>
119
  """, elem_classes="home-banner")
 
113
  <p>Find a prompt that passes all tests.</p>
114
  </div>
115
  <div class="home-banner-buttons">
116
+ <a href="https://explorer.invariantlabs.ai/" target="_blank">
117
+ Invariant Explorer →
118
+ </a>
119
  </div>
120
  </div>
121
  """, elem_classes="home-banner")
styling.css CHANGED
@@ -68,7 +68,7 @@ body.invariant:not(.dark) {
68
  gap: 10pt;
69
  }
70
 
71
- .home-banner-buttons button {
72
  background-color: #fff;
73
  color: #000;
74
  border: none;
@@ -78,7 +78,8 @@ body.invariant:not(.dark) {
78
  transition: background-color .5s, color .5s;
79
  line-height: normal;
80
  height: 35px;
81
- padding: 5pt 15pt;
 
82
  }
83
 
84
  /* Base style for the button */
 
68
  gap: 10pt;
69
  }
70
 
71
+ .home-banner-buttons a {
72
  background-color: #fff;
73
  color: #000;
74
  border: none;
 
78
  transition: background-color .5s, color .5s;
79
  line-height: normal;
80
  height: 35px;
81
+ padding: 8pt 20pt;
82
+ text-decoration: none; /* Remove underlining */
83
  }
84
 
85
  /* Base style for the button */