EDIT

removing theme function for markers

ref #6866 display of sources

ref #6866 showing footnotes in specimen page

ref #7599 ref #6866 replacing _add_js_derivation_tree_focus_unit() by php code in class

ref #7599 ref #6866 refactoring derivatin tree composition into class DerivationTreeComposer

ref #7599 ref #6866 derivation tree optionally without content usable for specimen page

ref #7599 removing unused code

ref #6866 using details grid for specimen page

ref #7599 ref #6866 specimen details tables - generalizing details grid styling

ref #6866 cleaning up