[USABILITY] Minor positional adjustments to elements

kyle-west · Feb 7, 2018 · de2a2fe · de2a2fe
1 parent f2d9e4e
commit de2a2fe
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/truthfulness.html b/truthfulness.html
@@ -92,14 +92,17 @@
    </head>
    <body>
       <main>
+         <p>
+            Type in an expression, then hit the [Evaluate] button to see the results.
+         </p>
          <form onsubmit="return false;">
-            <input type="text" id="raw-input" value="¬(p ↔ t) ∧ (¬q → ¬(r ∨ s))" onkeyup="this.value=interpretSymbols(this.value)">
+            <input type="text" id="raw-input" value="¬(q → ¬(r ∨ s))" onkeyup="this.value=interpretSymbols(this.value)">
+            <!-- <input type="text" id="raw-input" value="¬(p ↔ t) ∧ (¬q → ¬(r ∨ s))" onkeyup="this.value=interpretSymbols(this.value)"> -->
             <!-- <input type="text" id="raw-input" value="(((p → q) ∧ r) ∨ s) ↔ ¬t" onkeyup="this.value=interpretSymbols(this.value)"> -->
             <input type="submit" onclick="crunch(this)" value="Evaluate">
          </form>
          <br/><br/>
          <div id="raw-results">
-            Type in an expression, then hit the [Evaluate] button to see the results.
          </div>
          <div class="notify">Copied!</div>
          <div class="box-70">