On 2015-12-21 09:12, Sean Campbell wrote:
It only removes the border, so that it better integrates with the top menu. The difference between the two seem trivial?
Actually it has changed the red color and I think it removes the gloss effect. But the shape of the D and the two moons is the same, which I think is the important part.
-- /Jacob Carlborg
