[Greasemonkey] changing style with javascript

[Vectorspace]

thanks

Prakash Kailasa wrote:
> On Tue, Apr 04, 2006 at 06:07:23PM +0100, Vectorspace wrote:
>   
>> I have a div with an undefined height - so the div will assume whatever 
>> height is required for its content.
>>
>> I use this to give it a height of 0:
>> document.getElementById("div_id").style.height="0"
>>
>> I now want to undo that change, so the div will again be whatever size 
>> is required by its content. How do I do that? I tried style.height="" 
>> but that didn't work.
>>     
>
> element.style.height = "auto";
>
> ??
>
> /prakash
>
>