redef fun html_icon do return new BSIcon("stop", css_classes)
					src/doc/templates/html_model.nit:135,2--62
				
	redef fun html_icon do
		if is_intro then
			return new BSIcon("plus", css_classes)
		end
		return new BSIcon("asterisk", css_classes)
	end
					src/doc/templates/html_model.nit:180,2--185,4
				
	redef fun html_icon do return new BSIcon("folder-close", ["text-muted"])
					src/doc/templates/html_model.nit:105,2--73
				
	redef fun html_icon do return new BSIcon("tag", css_classes)
					src/doc/templates/html_model.nit:209,2--61
				
	redef fun html_icon do
		if is_intro then
			return new BSIcon("plus", css_classes)
		end
		return new BSIcon("asterisk", css_classes)
	end
					src/doc/templates/html_model.nit:232,2--237,4