Slight style change on plugin configuration view.
Authored by: jplang 2007-10-13
Parent: [r836]
Child: [r838]