Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-26 03:35:33 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

- not built -

Browse Source 
add styles for executable/not executable lines in the source code window.
This commit is contained in:
rginda%netscape.com 2001-07-03 22:45:45 +00:00
parent 7057dee1b2
commit 790ef3bbd4
1 changed files with 54 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
extensions/venkman/resources/skin/venkman.css
View File

@ -85,12 +85,64 @@
list-style-image: url("chrome://venkman/skin/images/step-into-act.gif");
}
outlinerbody:-moz-outliner-cell(breakpoint-col) {
background: #CCCCCC;
}
outlinerbody:-moz-outliner-cell(breakpoint-col, func-line) {
background: #EEEEEE;
}
outlinerbody:-moz-outliner-cell(breakpoint-col, func-start) {
border-top: 1px grey solid;
}
outlinerbody:-moz-outliner-cell(breakpoint-col, func-end) {
border-bottom: 1px grey solid;
}
outlinerbody:-moz-outliner-cell(source-line-number) {
border-left: 1px grey solid;
border-right: 3px #CCCCCC solid;
text-align: right;
background: #EEEEEE;
}
outlinerbody:-moz-outliner-cell(source-line-number, func-line) {
border-right: 3px #EEEEEE solid;
background: white;
}
outlinerbody:-moz-outliner-cell(source-line-number, func-start) {
border-top: 1px grey solid;
}
outlinerbody:-moz-outliner-cell(source-line-number, func-after) {
border-top: 1px grey solid;
}
outlinerbody:-moz-outliner-cell(source-line-number,current-line) {
background: yellow;
}
outlinerbody:-moz-outliner-cell(source-line-number,current-line,current) {
background: green;
}
outlinerbody:-moz-outliner-cell(source-line-number,current) {
background: inherit !important;
}
outlinerbody:-moz-outliner-row {
border: 0px;
}
outlinerbody:-moz-outliner-row(current-line) {
background: yellow;
}
outlinerbody:-moz-outliner-row(current, current-line) {
background: brown;
outlinerbody:-moz-outliner-row(current-line,current) {
background: green;
}
outlinerbody:-moz-outliner-image(breakpoint) {