minor layout improvements (#6572)

* minor layout improvements

* added missing file, run deps.sh locally
This commit is contained in:
Ralph Soika 2024-04-10 19:18:25 +02:00 committed by GitHub
parent 4f407a0a35
commit b3a96f27f0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2764 additions and 2707 deletions

File diff suppressed because it is too large Load Diff

View File

@ -51,6 +51,26 @@
margin-bottom: 0.5em; 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 { #write form {
margin: 1em 0 0 0; margin: 1em 0 0 0;
display: flex; display: flex;
@ -567,7 +587,7 @@
runCompletion(); runCompletion();
} }
return html` return html`
<div> <div class="right">
<button onclick=${submit} type="button" disabled=${generating.value}>Start</button> <button onclick=${submit} type="button" disabled=${generating.value}>Start</button>
<button onclick=${stop} disabled=${!generating.value}>Stop</button> <button onclick=${stop} disabled=${!generating.value}>Stop</button>
<button onclick=${reset}>Reset</button> <button onclick=${reset}>Reset</button>