Property definitions

nitc $ CardPageHeader :: defaultinit
# A page header
class CardPageHeader
	super CardSection
	autoinit(title, subtitle)

	redef var level = 2

	redef fun rendering do
		addn "<div class='page-header'>"
		super
		var subtitle = self.subtitle
		if subtitle != null then
			addn "<p class='text-muted'>"
			addn subtitle
			addn "</p>"
		end
		addn "</div>"
	end
end
src/doc/static/static_cards.nit:92,1--110,3