Add Sans Mono default terminal font
Various things