
treecol[sortActive="true"] {
 background-color: lightgray;
}

titledbutton.engine[loading="true"] {
 list-style-image: url("resource:/res/rdf/loading.gif") ! important ;
}

titledbutton.result {
 list-style-image: url("resource:/res/rdf/document.gif") ! important ;
}
