Property definitions

nitc $ CardCatalogStats :: defaultinit
# A card that displays statistics about a Nit catalog
class CardCatalogStats
	super CardCatalog

	redef var id = "catalog_stats"
	redef var title = "Stats"

	redef fun rendering do
		addn "<div id='{id}' class='container-fluid'>"
		for key, value in catalog.catalog_stats.to_map do
			addn "<span class='text-muted small'>"
			addn " <strong>{value}</strong>&nbsp;<span>{key}</span>&nbsp;"
			addn "</span>"
		end
		addn "</div>"
		addn "<hr/>"
	end
end
src/doc/static/static_cards.nit:456,1--473,3