1. 2009-08-18 Re: border-style="double" - bug? fop-user Vincent Hennebert 2. 2009-08-17 border-style="double" - bug? fop-user David Gerdt