Fix initial heightInPixels ad widthInPixels values
Use box-sizing: border-box by default for the body of widgets using the platform style
Fix problems reinstalling operators