I'm working on a widget for the Vodafone Mobile Widget Platform and was trying to change some properties of a DIV using JS. I used
document.getElementById('mydiv').style="width: 10px; height: 10px"";
I should work, but it doesn't seem to set the right values. Is the widget run-time treating these statements differently than normal?