tree 52087dc8ba8a5a54cc79e8e3d35a086883a9a844
parent a007d49720a5bd7d4b76b36cd68351af6440f41d
author avm99963 <me@avm99963.com> 1619958842 +0200
committer avm99963 <me@avm99963.com> 1619958842 +0200

Dark theme: fix header's right control's width

The right control has a fixed width, and so when the dark theme button
is added there, it exceeds this width and overlaps the search bar. This
fixes it.

Change-Id: I9a0ee1082253a3d13d071b5ecacb0c6ab08fb68b