datatype improvements

A Zotero ticket on spacing between entries reminds me we never fixed this:

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

So the problems with integer in general are we really want something
more restricted; at minimum postiveInteger.

But the problem with this particular pattern is it excludes a
perfectly reasonable value like “1.5”.

So:

a) I’m going to change other occurrences of xsd:integer to xsd:positiveInteger.

b) not sure what to about the one above. Maybe a regular expression?
If yes, what should it be?

Bruce