1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
|
sourceeditor {
-moz-binding: url('chrome://diavolo/content/sourceeditor.xml#sourceeditor');
}
#errors {
min-height: 3em;
max-height: 8em;
overflow: auto;
color: red;
}
#errors label {
cursor: pointer;
}
#internal-code {
font-family: monospace;
margin-bottom: 0;
}
.findbar-closebutton, .findbar-highlight, *[anonid="find-case-sensitive"] {
display: none;
}
#findbar {
border-top: 0;
}
#editor-tools {
margin-top: 3px;
padding-top: 2px;
border-top: 2px solid -moz-use-text-color;
-moz-border-top-colors: threedshadow threedhighlight;
}
|