Superclass: Widget

Class definition of StylePanel in lively/Tools.js:527