/**
 * Development Environment for Web
 * Copyright (C) 2012-2013 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, version 2 of the License.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program. Look for COPYING file in the top folder.
 * If not, see http://opensource.org/licenses/GPL-2.0.
 */
/* 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; */
}

.btn:disabled {
    background-color: gray;
}

.navbar-inner form {
    margin-right: 20px;
}

.navbar-inner .brand {
    margin-left: 0px;
}