Я работаю над виджетом для платформы мобильных виджетов Vodafone и пытался изменить некоторые свойства DIV с помощью JS.Я использовал
document.getElementById('mydiv').style="width: 10px; height: 10px"";
Я должен работать, но, похоже, он не устанавливает правильные значения.Во время выполнения виджета трактует эти операторы иначе, чем обычно?