@import url(https://fonts.googleapis.com/css?family=Roboto+Mono);

[data-plugin="formatter"] {
    font-family: "Roboto Mono", Menlo, Monaco, Consolas, "Courier New",
        monospace;
}