Fix right border in mutter theme