my comments.
I tried your suggestion. I was unable to find "fonts-noto-mono", though.
Also, 9 it a bit large for my tastes. But it looked ok.
-glenn
On Fri, Feb 19, 2016 at 9:25 PM Sean Davis wrote:
> Hey everyone!
>
> In case you haven't seen, the font we've been
Hey everyone!
In case you haven't seen, the font we've been using for years (Droid Sans)
is being deprecated in favor of "Noto" [1]. We're considering the switch
to "Noto Sans 9" as the new default font going forward. We'd like your
feedback!
To take it for a spin, follow these steps:
1)