Revision 5664
Added by ben leinfelder over 13 years ago
| semtools.css | ||
|---|---|---|
| 1175 | 1175 |
} |
| 1176 | 1176 |
.searchresultsdivider {
|
| 1177 | 1177 |
height: 10px; |
| 1178 |
} |
|
| 1178 |
} |
|
| 1179 |
.activeTree {
|
|
| 1180 |
width: 300px; |
|
| 1181 |
height: 100px; |
|
| 1182 |
overflow: auto; |
|
| 1183 |
} |
|
Also available in: Unified diff
add checkbox for active domain pruning on each tree.