line option changes

Don’t we need to change this?

defines spacing between entries and between lines

line-spacing: in units of lines; default 1

entry-spacing: in units of line-spacing; default 1

line-formatting =
element cs:option {
attribute name { “line-spacing” | “entry-spacing” },
attribute value { xsd:integer }

Integer seems too constraining (think “1.5”).

Bruce