use base16-default-dark
somehow fonts with fractional part look better. same width, less linespace