Changes builder_wx.php, WX_Format.php, widget style