2010/7/24 David Waern <david.waern at gmail.com>: > I also agree with Tibbe that the space between the section headings is too much. Sorry, it was Thomas who said that. Another thing I noticed: record fields without doc comments have an empty line below them, perhaps it would look better to skip it? David