# HG changeset patch # User zas_ # Date 1226165042 0 # Node ID b2d120fa5ee7760efcd48bf720b23c218bc5262a # Parent 2d9c9b10e84dbf47b1943e81097e9e129f4b1513 Use col tags with id in top and bottom navigation tables. diff -r 2d9c9b10e84d -r b2d120fa5ee7 doc/collections.html --- a/doc/collections.html Sat Nov 08 11:37:17 2008 +0000 +++ b/doc/collections.html Sat Nov 08 17:24:02 2008 +0000 @@ -10,20 +10,23 @@