terminal.js:  Applied a quick fix to alignTerminal() to correct scaling when your browser is taller than it is wide.