Also fixed a bug realted to wrong highlighting if the node focus changes using the display.

Added KaTeX dependency.

Fixed node filtering and design. Nodes may still change color during filter operations. This should be resolved when colors are hard-mapped to node types.

Added eslint-disable for @typescript-eslint/no-this-alias in deletetool. This is most likely fixed once the class is upgraded to react anyway.