@import url(//fonts.googleapis.com/css?family=Roboto+Mono);
[data-plugin="formatter"] {
    font-family: "Roboto Mono", Menlo, Monaco, Consolas, "Courier New", monospace;
}