From 4da57a09bd1b12263275bf3d6638fde3995a9f18 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Wed, 10 Dec 2003 08:43:02 +0000
Subject: [PATCH] Changed some font size

---
 mod/glossary/edit.html | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/mod/glossary/edit.html b/mod/glossary/edit.html
index 6f4b809fca..e0c7216f18 100644
--- a/mod/glossary/edit.html
+++ b/mod/glossary/edit.html
@@ -43,7 +43,7 @@ if (isset($errors)) {
           </td>
         </tr>
       </table></td>
-    <td valign="top"><table border="0" width="100%" border="0" cellspacing="0" cellpadding="5">
+    <td valign="top"><table border="1" width="100%" border="0" cellspacing="0" cellpadding="5">
         <tr>
           <td valign="top" align=right><p><b>
             <?php 
@@ -72,7 +72,9 @@ if (isset($errors)) {
             $selected = "";
         }
         echo '<input type="checkbox" name="usedynalink" value=1 ' . $selected . ' onclick="return lockoptions(\'form\',\'usedynalink\', items)"> ';
+        echo '<font size="-1">';
         print_string("entryusedynalink","glossary");
+        echo '</font>';
         echo helpbutton("usedynalink", strip_tags(get_string("usedynalink", "glossary")), "glossary"); 
         echo '<br />';
 
@@ -82,7 +84,9 @@ if (isset($errors)) {
             $selected = "";
         }
         echo '<input type="checkbox" name="casesensitive" value=1 ' . $selected . '> ';
+        echo '<font size="-1">';
         print_string("casesensitive","glossary");
+        echo '</font>';
         echo helpbutton("casesensitive", strip_tags(get_string("casesensitive", "glossary")), "glossary");
         echo '<br />';
 
@@ -93,7 +97,9 @@ if (isset($errors)) {
             $selected = "";
         }
         echo '<input type="checkbox" name="fullmatch" value=1 ' . $selected . '> ';
+        echo '<font size="-1">';
         print_string("fullmatch","glossary");
+        echo '</font>';
         echo helpbutton("fullmatch", strip_tags(get_string("fullmatch", "glossary")), "glossary");
         echo '<br />';
     }
-- 
2.39.5