small fixes: make hover/open states on downloads button correct; do highlighting...
[themes.git] / LCARStrek / browser / devtools / inspector.css
2013-01-04 Robert Kaiserremove default border of splitters and workarounds...
2012-12-30 Robert Kaisermake new dev toolbox in FF 20+ look good as well