Property definitions

nitc $ CardSection :: defaultinit
# A heading section
#
# It displays an heading at a specific level from 1 to 6.
class CardSection
	super StaticCard
	autoinit(level, title, subtitle)

	# Section heading level
	var level: Int is writable

	# Section subtitle
	var subtitle: nullable String is writable

	redef var id = title.to_cmangle is lazy

	redef fun rendering do
		addn "<h{level} id='{id}'>{title}</h{level}>"
	end
end
src/doc/static/static_cards.nit:72,1--90,3