Alternatively, you could use a custom stylesheet to affect the size of the textarea. No Javascript bookmark required.