add some styles for the new source, stack, and script outliners
This commit is contained in:
rginda%netscape.com 2001-06-12 20:28:47 +00:00
Родитель 7f7a3f53e5
Коммит c2b54f9fcf
1 изменённых файлов: 21 добавлений и 1 удалений

Просмотреть файл

@ -38,4 +38,24 @@
#output-iframe {
margin: 5px 5px 0px 5px;
border: thin silver inset;
}
}
#source-outliner {
font-family: monospace;
}
outlinerbody:-moz-outliner-row(current-line) {
background: yellow;
}
outlinerbody:-moz-outliner-row(current, current-line) {
background: brown;
}
outlinerbody:-moz-outliner-image(breakpoint) {
list-style-image: url("chrome://venkman/skin/images/breakpoint-line.gif");
}
outlinerbody:-moz-outliner-image(current-frame-flag){
list-style-image: url("chrome://venkman/skin/images/current-frame.gif");
}