add some vertical space between comments

0118-load_subtree

@@ -4,7 +4,7 @@ load_subtree = function(filename, out, depth)
 	local item = initialize_item(filename, depth)
 	-- every item is a row consisting of two columns:
 	-- one column of padding and another of text
-	local row = cols()
+	local row = cols(Inter_comment_spacing)
 	table.insert(row.data,
 		{type='rectangle', w=depth*Indent, h=0})
 	table.insert(row.data, item)

0127-Inter_comment_spacing

@@ -0,0 +1 @@
+Inter_comment_spacing = 40