diff doc/options_filtering.html @ 1111:2b1121de1a66

Reformat remaining options pages.

--- a/doc/options_filtering.html	Mon Nov 10 10:26:51 2008 +0000
+++ b/doc/options_filtering.html	Mon Nov 10 12:06:05 2008 +0000
@@ -49,15 +49,21 @@
 
   <h2>Filters</h2>
 
-  <p><b>Show entries that begin with a dot</b>: Enables the display of hidden files and folders, also known as dot files.</p>
+  <dl class="dialog_desc">
+  <dt>Show entries that begin with a dot</dt>
+  <dd><p>Enables the display of hidden files and folders, also known as dot files.</p></dd>
 
-  <p><b>Case sensitive sort</b>: Files and folders are sorted such that upper case letters occur before lower case letters.</p>
-
+  <dt>Case sensitive sort</dt>
+  <dd><p>Files and folders are sorted such that upper case letters occur before lower case letters.</p>
   <p>Enabled result: A, B, C, a, b, c<br />
   Disabled result: A, a, B, b, C, c</p>
+  </dd>
 
-  <p><b>Disable file filtering</b>: Enable this to allow Geeqie to list all files, even those that do not contain images.</p>
+  <dt>Disable file filtering</dt>
+  <dd><p>Enable this to allow Geeqie to list all files, even those that do not contain images.</p></dd>
 
+  </dl>
+  
   <p><br />
   <br />
   </p>
@@ -68,11 +74,18 @@
 
   <p class="note">Note: Unlike all other options in the dialog, filter list changes are applied immediately.</p>
 
-  <p><b>Add</b> button: Adds a new blank line to the filter list, change the parameters to match the desired file type.</p>
+  <dl class="dialog_desc">
+
+  <dt>Add button</dt>
+  <dd><p>Adds a new blank line to the filter list, change the parameters to match the desired file type.</p></dd>
 
-  <p><b>Remove</b> button: Removes the selected line from the filter list.</p>
+  <dt>Remove button</dt>
+  <dd><p>Removes the selected line from the filter list.</p></dd>
 
-  <p><b>Defaults</b> button: Resets the filter list to the default values, discarding any customizations made by the user.</p>
+  <dt>Defaults button</dt>
+  <dd><p>Resets the filter list to the default values, discarding any customizations made by the user.</p></dd>
+
+  </dl>
 
   <p><br />
   <br />