ToDo before presentation

[seachel]

Top priority:

• update display of selected node information
• update nav buttons
• breadth-first traversal
• classing previously visited nodes
• classing of children
• fonts
• colours for regular nodes, focused node, related (children) nodes, previously visited nodes
  • focus node (green)
  • grey (future)
  • dark grey (past, lighter font, to have poor luminance contrast and make hard to see)
• final style tweaking (padding, etc, maybe redoing icons)
• full sequent in example selection
• update nav buttons to have a fill and change colour on click or hover

---

Slides:

• up and down arrows to discuss reasoning direction options
• update tree sketch with children highlighted
• update judgment bubbles to include leaf vs root

---

Extra if time:

• highlight next in traversal (without updating the iterator? like a peek vs going there?)
• add rule set to rules panel
• highlight rule used for selection
• needing timeout for MathJax on updated example
• add logo
• add link to proposal