/* app css stylesheet */

 .code-editor, .mono-font, .CodeMirror {

     font-family: "Inconsolata","Monaco","Consolas","Andale Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;

     font-size: 13px;

     line-height: 15px;

 }

 .CodeMirror {                    

     border: 1px solid #d9edf7;      

     height: 300px;

 }

 .CodeMirror-scroll {

     overflow-y: auto;

     overflow-x: auto;

 }

 .error-hover:hover {

     text-decoration: underline;

     cursor: pointer;

 } 

 .ic-html5 {

   display: inline-block;  

   height: 20px;

   width: 20px;

   vertical-align: text-bottom;

   background-repeat: no-repeat;  

   background-image: url("../img/html5.png");  

 }

 .ic-java {

   display: inline-block;  

   height: 20px;

   width: 20px;

   vertical-align: text-bottom;

   background-repeat: no-repeat;  

   background-image: url("../img/java.png"); 

 }

 .issues {    

     width: 16px;

 }

 .issue { 

     height: 16px;

     width: 16px;

     vertical-align: middle;

     background-repeat: no-repeat;  

     background-image: url("../img/error.png"); 

     /* color: #822; */

 }