fix font size & spacing

freddycoppa · Jul 19, 2024 · 72dd2b3 · 72dd2b3
1 parent 52e7611
commit 72dd2b3
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -28,7 +28,7 @@ <h2>Formulæ <button class="button dropdown-toggle" data-div-id="formulae" data-
                 <tbody id="formula-list"></tbody>
             </table>
             <h3><button class="button dropdown-toggle" data-div-id="formula-help" data-up-icon="?" data-down-icon="?">?</button></h3>
-            <div id="formula-help" style="display:none;margin-left:5%;">
+            <div id="formula-help" style="display:none;margin-left:5%;font-size:14px">
                 These are formulas that can be used in your &#x03bb;-expressions.
                 They are formatted
                 <blockquote style="color:grey">
@@ -120,7 +120,8 @@ <h2>Result</h2>
             <button class="button" style="color:red" onclick="clearLambdaResult();">Clear</button>
         </div>
     </div>
-    <div class="padded">
+    <br><br>
+    <div class="padded" style="font-size:14px">
         <h2>Guide <button class="button dropdown-toggle" data-div-id="guide" data-up-icon=">" data-down-icon="v" data-default-open="true">v</button></h2>
         <div id="guide">
             <ul>