libtextstyle: Tweak style of HTML documentation.

* libtextstyle/build-aux/texi2html (BIG_RULE): Set to empty.

diff --git a/libtextstyle/build-aux/texi2html b/libtextstyle/build-aux/texi2html
index 618274ef89d46eee0d9a06775f04a74989867d5d..96592ebfea68ca031a9fede190965d1728c27186 100755 (executable)
--- a/libtextstyle/build-aux/texi2html
+++ b/libtextstyle/build-aux/texi2html
@@ -980,7 +980,7 @@ $SMALL_FONT_SIZE = '-1';
 $SMALL_RULE = '<hr size="1">';
 $DEFAULT_RULE = '<hr>';
 $MIDDLE_RULE = '<hr size="2">';
-$BIG_RULE = '<hr size="6">';
+$BIG_RULE = '';
 
 # if non-empty, and no @..heading appeared in Top node, then
 # use this as header for top node/section, otherwise use value of