improve devtools styles, support some new trunk changes
authorRobert Kaiser <kairo@kairo.at>
Fri, 13 Jun 2014 15:08:54 +0000 (17:08 +0200)
committerRobert Kaiser <kairo@kairo.at>
Fri, 13 Jun 2014 15:08:54 +0000 (17:08 +0200)

No differences found