fixed long standing problem of textareas having different heights

joshuazeltser · Apr 7, 2017 · 1c9bfca · 1c9bfca
1 parent afca92b
commit 1c9bfca
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/main/resources/templates/propositional.html b/src/main/resources/templates/propositional.html
@@ -194,6 +194,12 @@ <h1 class="jumbotron" align="center">Proof Checker</h1>
                     <p class="lead" align="center">Rule</p>
                     <textarea id="Text2" th:field="*{proofLabels}" cols="14" rows="10" spellcheck="false" >
 			</textarea>
+                    <style>
+                        textarea {
+                            height: 408px;
+                            width: 300px;
+                        }
+                    </style>
                 </div>
 
                 <p></p>