Fix height of header buttons to prevent few px growth.
authorJoe Wreschnig <joe.wreschnig@gmail.com>
Fri, 19 Sep 2014 14:54:42 +0000 (16:54 +0200)
committerJoe Wreschnig <joe.wreschnig@gmail.com>
Fri, 19 Sep 2014 14:54:42 +0000 (16:54 +0200)

No differences found