UI: add problem reporting (GitHub discussion/issue) (#23707)

This commit is contained in:
Michael Geers 2025-09-21 12:46:54 +02:00 • committed by GitHub
parent a3af19a023
commit b7a4e309ab
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
27 changed files with 1753 additions and 59 deletions

View file

@ -682,3 +682,13 @@ input::-webkit-date-and-time-value {
text-overflow: ellipsis;
}
}
.textarea--tiny {
font-size: 8px;
}
@media (min-width: 576px) {
.textarea--tiny {
font-size: 0.875em;
}
}