diff -r 03cd1b3e2e70 -r 6c04b26f9a9a dew/src/main/resources/org/apidesign/bck2brwsr/dew/css/app.css --- a/dew/src/main/resources/org/apidesign/bck2brwsr/dew/css/app.css Tue Feb 11 10:48:24 2014 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,54 +0,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; */ -} -