launcher/src/main/resources/org/apidesign/bck2brwsr/dew/css/app.css
author phrebejk
Tue, 22 Jan 2013 19:48:10 +0100
branchdew
changeset 542 7400dc9f48fb
parent 541 927a5f9fa430
permissions -rw-r--r--
Error badges + auto reload.
phrebejk@460
     1
/* app css stylesheet */
phrebejk@460
     2
.code-editor, .mono-font, .CodeMirror {
phrebejk@460
     3
    font-family: "Inconsolata","Monaco","Consolas","Andale Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
phrebejk@460
     4
    font-size: 13px;
phrebejk@460
     5
    line-height: 15px;
phrebejk@460
     6
}
phrebejk@460
     7
phrebejk@460
     8
.CodeMirror {                    
phrebejk@460
     9
    border: 1px solid #d9edf7;      
phrebejk@460
    10
    height: 300px;
phrebejk@460
    11
}
phrebejk@460
    12
      
phrebejk@460
    13
.CodeMirror-scroll {
phrebejk@460
    14
    overflow-y: auto;
phrebejk@460
    15
    overflow-x: auto;
phrebejk@460
    16
}
phrebejk@460
    17
phrebejk@541
    18
.error-hover:hover {
phrebejk@541
    19
    text-decoration: underline;
phrebejk@541
    20
    cursor: pointer;
phrebejk@541
    21
} 
phrebejk@541
    22
phrebejk@460
    23
.ic-html5 {
phrebejk@460
    24
  display: inline-block;  
phrebejk@460
    25
  height: 20px;
phrebejk@460
    26
  width: 20px;
phrebejk@460
    27
  vertical-align: text-bottom;
phrebejk@460
    28
  background-repeat: no-repeat;  
phrebejk@460
    29
  background-image: url("../img/html5.png");  
phrebejk@460
    30
}
phrebejk@460
    31
phrebejk@460
    32
.ic-java {
phrebejk@460
    33
  display: inline-block;  
phrebejk@460
    34
  height: 20px;
phrebejk@460
    35
  width: 20px;
phrebejk@460
    36
  vertical-align: text-bottom;
phrebejk@460
    37
  background-repeat: no-repeat;  
phrebejk@460
    38
  background-image: url("../img/java.png"); 
phrebejk@460
    39
 
phrebejk@460
    40
}
phrebejk@460
    41
phrebejk@542
    42
.issues {    
phrebejk@542
    43
    width: 16px;
phrebejk@542
    44
}
phrebejk@542
    45
phrebejk@542
    46
.issue { 
phrebejk@542
    47
    height: 16px;
phrebejk@542
    48
    width: 16px;
phrebejk@542
    49
    vertical-align: middle;
phrebejk@542
    50
    background-repeat: no-repeat;  
phrebejk@542
    51
    background-image: url("../img/error.png"); 
phrebejk@542
    52
    /* color: #822; */
phrebejk@542
    53
}
phrebejk@542
    54