div#changelist-filter ul li {list-style: square outside; margin-left: 10px;}
div#changelist-filter ul li.selected {margin-left: 10px;}
div#changelist-filter ul li.root{font-weight: bold;}
div#changelist-filter ul li.child{margin-left: 30px;}