From 72dd2b3e878e1621f1a18bb536db99727a2c015d Mon Sep 17 00:00:00 2001
From: Vedant <vedantv355@gmail.com>
Date: Fri, 19 Jul 2024 18:47:39 +0530
Subject: [PATCH] fix font size & spacing

---
 index.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 66f5a6c..3270e15 100644
--- 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>