Use code editor font for instructions editor

Author: greenberga

src/css/application.css

@@ -376,6 +376,7 @@ body {
   height: 100%;
   padding: 0.5rem;
   box-sizing: border-box;
+  font-family: 'Inconsolata';
   font-size: 1rem;
   border: 0;
   outline: 0;