code: public MarkedSection addMarkedSection() {
      	MarkedSection section = new MarkedSection(new Section(null, numberDepth + 1));
      	add(section);
      	return section;
      }
docs: Adds a marked section. For use in class MarkedSection only!