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

deferred class
	XMLDOC_WITH_WIDTH

feature -- Access

	width: STRING
			-- Associated width

feature -- Element change

	set_width (v: like width)
			-- Set `width' to `v'
		require
			v_attached: v /= Void
		do
			--| check: integer or percentage!

			width := v
		end

end