Added feature: widget sizes can now be set (widget_size in DataItem), default is 12 (20 before), except for select widget where we do not set a size explicitly. The specification appears in the template file. Tests are updated. The menu looks better and gets smaller by narrower text and float fields.