Issue #193: Style panel widgets differently.
Clean up.
Merge branch '#193/style-panel-widgets-differently' into develop