Fixed|DocumentWidget: Changing style on the fly
Client|Default Style|OS X: Use Menlo as the default monospace font