Small UI fixes.

mbucko · mbucko · commit 3f32d7d293b6 · 2024-03-12T04:03:34.000+01:00
diff --git a/src/ui/index.html b/src/ui/index.html
@@ -56,25 +56,20 @@
           <!-- Testcase Container-->
           <div id="tab-testcase-container">
             <h5 class="testcase-container-title">Input:</h5>
-            <textarea id="input-container" class="testcase-container-text">
-            </textarea>
+            <textarea id="input-container" class="testcase-container-text"></textarea>
             <h5 class="testcase-container-title">Expected:</h5>
-            <textarea readonly id="expected-output" class="testcase-container-text">
-            </textarea>
+            <textarea readonly id="expected-output" class="testcase-container-text"></textarea>
             <h5 class="testcase-container-title">Output:</h5>
-            <textarea readonly id="testcase-output" class="testcase-container-text">
-            </textarea>
+            <textarea readonly id="testcase-output" class="testcase-container-text"></textarea>
             <h5 class="testcase-container-title">Stdout:</h5>
-            <textarea readonly id="testcase-stdout" class="testcase-container-text">
-            </textarea>
+            <textarea readonly id="testcase-stdout" class="testcase-container-text"></textarea>
             <h5 class="testcase-container-title">Stderr:</h5>
-            <textarea readonly id="testcase-stderr" class="testcase-container-text">
-            </textarea>
+            <textarea readonly id="testcase-stderr" class="testcase-container-text"></textarea>
           <!-- Testcase Container END -->
           </div>
         </div>
         <div id="tab-test-results" class="tab-test-results tab-content tab-bottom-right content">
-          <div class=" bottom-right-content" id="test-results-content">
+          <div class="bottom-right-content" id="test-results-content">
           </div>
         </div>
         <div id="tab-compilation" class="tab-compilation compilation-panel tab-content content">
diff --git a/src/ui/styles.css b/src/ui/styles.css
@@ -134,6 +134,7 @@ select:hover {
     white-space: pre-wrap;
     word-break: break-all;
     margin: 0;
+    font-size: small;
 }
 
 .tab-separator {

Original file line number	Diff line number	Diff line change
`@@ -134,6 +134,7 @@ select:hover {`
`134`	`134`	`white-space: pre-wrap;`
`135`	`135`	`word-break: break-all;`
`136`	`136`	`margin: 0;`
	`137`	`+ font-size: small;`
`137`	`138`	`}`
`138`	`139`
`139`	`140`	`.tab-separator {`