forgot to say that that theme also modifies top bar slightly to give 9 more vertical pixels to applications. it was just a test modification, but works well.