mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-06 10:25:17 +08:00
increased font size on website
This commit is contained in:
parent
db5ca5c6af
commit
47752f54f4
@ -1 +1 @@
|
|||||||
<meta http-equiv="refresh" content="0; URL='https://gradio.app/'" />
|
<meta http-equiv="refresh" content="0; URL='index.html'" />
|
||||||
|
@ -78,8 +78,7 @@
|
|||||||
</code></div>
|
</code></div>
|
||||||
</div>
|
</div>
|
||||||
<div class="instructions">
|
<div class="instructions">
|
||||||
The code above produces produces an interface like this, in which you can upload an image and receive labelling as output. Click
|
The code above produces produces an interface like this. Click submit to get the prediction!
|
||||||
submit to get the prediction!
|
|
||||||
</div>
|
</div>
|
||||||
<div id="gradio">
|
<div id="gradio">
|
||||||
<div class="panel">
|
<div class="panel">
|
||||||
|
@ -74,3 +74,7 @@ code {
|
|||||||
#embed {
|
#embed {
|
||||||
background-image: url("../img/embed.png");
|
background-image: url("../img/embed.png");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
div.instructions{
|
||||||
|
padding:10px 0px;
|
||||||
|
}
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
body {
|
body {
|
||||||
font-family: 'Open Sans', sans-serif;
|
font-family: 'Open Sans', sans-serif;
|
||||||
font-size: 12px;
|
font-size: 1em;
|
||||||
margin: 0;
|
margin: 0;
|
||||||
}
|
}
|
||||||
body > div, body > nav {
|
body > div, body > nav {
|
||||||
@ -41,7 +41,7 @@ nav a {
|
|||||||
margin-left: 30px;
|
margin-left: 30px;
|
||||||
padding: 5px 0px;
|
padding: 5px 0px;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 14px;
|
font-size: 1em;
|
||||||
}
|
}
|
||||||
nav a.selected {
|
nav a.selected {
|
||||||
border-bottom: solid 2px #ed9013;
|
border-bottom: solid 2px #ed9013;
|
||||||
|
Loading…
Reference in New Issue
Block a user