Font obtained from [Google Fonts](https://fonts.google.com/specimen/Roboto+Mono), credit due to the estimable [Christian Robertson](http://christianrobertson.com/), among others.

See the accompanying LICENSE.txt file for the terms under which it is used.