The outline of the titlebuttons should be round also
Commit c73f2d8f made the titlebuttons round, but forgot the outline radius (-gtk-outline-radius:9999px;
, probably). I don’t remember how to regenerate the CSS from an updated SCSS file, sorry. :·(