views:

18

answers:

0

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?