Create a settings button #2
Description
Add a settings button which will allow users to set some settings. Save configuration in client side.
Some settings which we may want to add (features on their own no doubt):
- Highlight rows based on result truth value (color table rows based on T/F) (Highlight resluting table rows based on truth value #6)
- Show / hide intermediate proposition truth values (Show intermediate proposition truth values #3)
- Tautology party 🍻