- cleaned up some HTML structural issues with theorem
- also debugging theorem referencing with subordinates
- fixed a bug where part titles would not enable after edit button is triggered