use global and ggtags
Revert font setting for Mac OSX