Du musst das Element das du verändern möchtest aus dem DOM "rausfischen" und dan die height eingenschaft ändern.
element.style.height = "400px";
Da hier weder ID noch Name vorhanden sind musst du das richtige element suchen.
Das kannst du machen indem du dir eine "liste" von allen div's in eine variable lädst.
var elemente = document.getElementsByTagName("div");
Dann gehst du diese liste durch (for schleife) bis du dein element findest (ich würde das an den top und left werten ausmachen)
if(elemente[counter].style.left == "XYZ" && elemente[counter].style.top == "XYZ") {
elemente[counter].style.height = "400px";
}
Achja wenn du das Element was du brauchst gefunden hast währe es sinnvoll die schleife zu beenden...

Wenn du dir sicher bist das sich die Seite für die das Userscript ist sich nicht verändert (in der div-anzahl) kannst du die schleife logischerweise auc weglassen und direkt die richtige nummer im array ansprechen.