diff options
Diffstat (limited to 'examples/server/public/index.html')
| -rw-r--r-- | examples/server/public/index.html | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/examples/server/public/index.html b/examples/server/public/index.html index 9fe61eb1..68661ee4 100644 --- a/examples/server/public/index.html +++ b/examples/server/public/index.html @@ -51,6 +51,26 @@ margin-bottom: 0.5em; } + button, input, textarea, .button, a.button, select { + color: #666; + border: 1px solid #ddd; + border-radius: 4px; + line-height: 1.5em; + padding: 0.25em 0.25em; + text-decoration: none; + font-size: 1.1rem; + } + + button { + border: 1px solid #2a8aad; + background: #3584e4; + font-weight: normal; + color: #fff; + } + button:disabled { + background: #9cbce5; + } + #write form { margin: 1em 0 0 0; display: flex; @@ -567,7 +587,7 @@ runCompletion(); } return html` - <div> + <div class="right"> <button onclick=${submit} type="button" disabled=${generating.value}>Start</button> <button onclick=${stop} disabled=${!generating.value}>Stop</button> <button onclick=${reset}>Reset</button> |