phrebejk@460: /* app css stylesheet */
phrebejk@460: .code-editor, .mono-font, .CodeMirror {
phrebejk@460:     font-family: "Inconsolata","Monaco","Consolas","Andale Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
phrebejk@460:     font-size: 13px;
phrebejk@460:     line-height: 15px;
phrebejk@460: }
phrebejk@460: 
phrebejk@460: .CodeMirror {                    
phrebejk@460:     border: 1px solid #d9edf7;      
phrebejk@460:     height: 300px;
phrebejk@460: }
phrebejk@460:       
phrebejk@460: .CodeMirror-scroll {
phrebejk@460:     overflow-y: auto;
phrebejk@460:     overflow-x: auto;
phrebejk@460: }
phrebejk@460: 
phrebejk@541: .error-hover:hover {
phrebejk@541:     text-decoration: underline;
phrebejk@541:     cursor: pointer;
phrebejk@541: } 
phrebejk@541: 
phrebejk@460: .ic-html5 {
phrebejk@460:   display: inline-block;  
phrebejk@460:   height: 20px;
phrebejk@460:   width: 20px;
phrebejk@460:   vertical-align: text-bottom;
phrebejk@460:   background-repeat: no-repeat;  
phrebejk@460:   background-image: url("../img/html5.png");  
phrebejk@460: }
phrebejk@460: 
phrebejk@460: .ic-java {
phrebejk@460:   display: inline-block;  
phrebejk@460:   height: 20px;
phrebejk@460:   width: 20px;
phrebejk@460:   vertical-align: text-bottom;
phrebejk@460:   background-repeat: no-repeat;  
phrebejk@460:   background-image: url("../img/java.png"); 
phrebejk@460:  
phrebejk@460: }
phrebejk@460: 
phrebejk@542: .issues {    
phrebejk@542:     width: 16px;
phrebejk@542: }
phrebejk@542: 
phrebejk@542: .issue { 
phrebejk@542:     height: 16px;
phrebejk@542:     width: 16px;
phrebejk@542:     vertical-align: middle;
phrebejk@542:     background-repeat: no-repeat;  
phrebejk@542:     background-image: url("../img/error.png"); 
phrebejk@542:     /* color: #822; */
phrebejk@542: }
phrebejk@542: