Increase the editor font size to 13

Signed-off-by: Tomas Sedovic <tomas@sedovic.cz>