Property definitions

nitc $ CardMDoc :: defaultinit
# A card that displays the content of a MDoc
class CardMDoc
	super CardMEntity
	autoinit(mentity, mdoc, full_doc)

	# MDoc to display in this card
	var mdoc: nullable MDoc is writable

	redef fun rendering do
		var mdoc = self.mdoc
		if mdoc == null then return
		addn "<div id='{id}' class='card'>"
		addn " <div class='card-body nitdoc'>"
		addn mdoc.html_documentation
		addn " </div>"
		addn "</div>"
	end
end
src/doc/static/static_cards.nit:217,1--234,3