dew/src/main/resources/org/apidesign/bck2brwsr/dew/css/app.css
branchdew
changeset 544 08ffdc3938e7
parent 542 7400dc9f48fb
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/dew/src/main/resources/org/apidesign/bck2brwsr/dew/css/app.css	Wed Jan 23 13:18:46 2013 +0100
     1.3 @@ -0,0 +1,54 @@
     1.4 +/* app css stylesheet */
     1.5 +.code-editor, .mono-font, .CodeMirror {
     1.6 +    font-family: "Inconsolata","Monaco","Consolas","Andale Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
     1.7 +    font-size: 13px;
     1.8 +    line-height: 15px;
     1.9 +}
    1.10 +
    1.11 +.CodeMirror {                    
    1.12 +    border: 1px solid #d9edf7;      
    1.13 +    height: 300px;
    1.14 +}
    1.15 +      
    1.16 +.CodeMirror-scroll {
    1.17 +    overflow-y: auto;
    1.18 +    overflow-x: auto;
    1.19 +}
    1.20 +
    1.21 +.error-hover:hover {
    1.22 +    text-decoration: underline;
    1.23 +    cursor: pointer;
    1.24 +} 
    1.25 +
    1.26 +.ic-html5 {
    1.27 +  display: inline-block;  
    1.28 +  height: 20px;
    1.29 +  width: 20px;
    1.30 +  vertical-align: text-bottom;
    1.31 +  background-repeat: no-repeat;  
    1.32 +  background-image: url("../img/html5.png");  
    1.33 +}
    1.34 +
    1.35 +.ic-java {
    1.36 +  display: inline-block;  
    1.37 +  height: 20px;
    1.38 +  width: 20px;
    1.39 +  vertical-align: text-bottom;
    1.40 +  background-repeat: no-repeat;  
    1.41 +  background-image: url("../img/java.png"); 
    1.42 + 
    1.43 +}
    1.44 +
    1.45 +.issues {    
    1.46 +    width: 16px;
    1.47 +}
    1.48 +
    1.49 +.issue { 
    1.50 +    height: 16px;
    1.51 +    width: 16px;
    1.52 +    vertical-align: middle;
    1.53 +    background-repeat: no-repeat;  
    1.54 +    background-image: url("../img/error.png"); 
    1.55 +    /* color: #822; */
    1.56 +}
    1.57 +