redef var html_title is lazy do return "in {mentity.nitdoc_name}"
end
-redef class ImportationListSection
- redef var html_title is lazy do return "Dependencies"
-end
-
redef class IntroArticle
redef var html_title = null
end
redef class DefinitionLinArticle
- redef var html_title is lazy do return "Linearization"
-
redef fun render_body do
var lst = new UnorderedList
lst.css_classes.add "list-unstyled list-labeled"