Minor bugfix to ToggleNumbering
Set default font to Menlo 11 on Mac