Use vga-top-margin-right in rc.xml.