terminalrc: 13 font size

Signed-off-by: Adrian-Tudor Panescu <adrian@panescu.com>