indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	XMLDOC_WITH_HEIGHT

feature -- Access

	height: STRING
			-- Associated height

feature -- Element change

	set_height (v: like height)
			-- Set `height' to `v'
		require
			v_attached: v /= Void
		do
			--| check integer or percentage
			height := v
		end

end