Update Emacs font to Menlo
Add not= prettify symbol
Add parenface for dimmer parentheses