Appearance refactoring

* Improved built-in documentation
* Implemented numbering of sections

TODO: restore legacy behavior (Termination of multiple nested sections)