1 files changed, 6 insertions, 14 deletions
diff --git a/static/style.css b/static/style.css
index 154d629..d7e7b62 100644
--- a/static/style.css
+++ b/static/style.css
@@ -62,6 +62,10 @@ label {
 	margin-bottom: 0.5rem;
 }
 
+label + pre {
+	margin-top: 0;
+}
+
 h1 {
 	margin-top: 0;
 }
@@ -76,8 +80,9 @@ a {
 	text-decoration-color: var(--text-decoration-color);
 }
 
-input[type="text"] {
+input[type="text"], pre {
 	font-family: monospace;
+	overflow-x: auto;
 	font-size: 1rem;
 	background-color: var(--lighter-box-background-color);
 	color: var(--text-color);
@@ -99,12 +104,6 @@ input[type="submit"] {
 	cursor: pointer;
 }
 
-input[readonly] {
-	background-color: var(--lighter-box-background-color);
-	color: var(--text-color);
-	cursor: text;
-}
-
 details {
 	margin-top: 2rem;
 	background-color: var(--lighter-box-background-color);
@@ -113,13 +112,6 @@ details {
 	box-shadow: inset 0 1px 4px rgba(0, 0, 0, 0.15);
 }
 
-pre {
-	overflow-x: auto;
-	display: block;
-	white-space: pre-wrap;
-	word-break: break-word;
-}
-
 #solver_status {
 	color: var(--light-text-color);
 	margin-top: 1rem;