@font-face{font-family:Nimbus Mono;src:url(/static/media/NimbusMonoPS-Regular.c4804051fbb2d68ac1b3.otf)}body{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0;padding:0}