diff doc/options_filtering.html @ 1113:79e69e5f4642

Beautify the manual.

--- a/doc/options_filtering.html	Mon Nov 10 13:00:29 2008 +0000
+++ b/doc/options_filtering.html	Mon Nov 10 14:10:39 2008 +0000
@@ -43,10 +43,6 @@
 
   <p>This section describes the options presented under the Filtering Tab of the preferences dialog.</p>
 
-  <p><br />
-  <br />
-  </p>
-
   <h2>Filters</h2>
 
   <dl class="dialog_desc">
@@ -64,10 +60,6 @@
 
   </dl>
   
-  <p><br />
-  <br />
-  </p>
-
   <h2>File types</h2>
 
   <p>This list contains the image formats that are understood by Geeqie. To disable a specific file type from being displayed, uncheck it's corresponding checkbox. Filters can be edited by first selecting the line containing the item to be changed, then clicking the filter or description field, making any changes, then pressing enter; press escape to cancel an active edit. The format for the filter field is a semicolon (;) seperated list of extensions, extensions must include the period (.).</p>
@@ -87,15 +79,7 @@
 
   </dl>
 
-  <p><br />
-  <br />
-  </p>
-
-  <p><br />
-  <br />
-  </p>
-
-  <hr />
+  <hr id="bottomseparator" />
 
   <div class="navbottom">
     <table width="100%" border="0" cellpadding="4" cellspacing="0">