Update default Ubuntu Mono font size