and it's implemented at the theme level (by drawing these borders inside the actual GtkButton and other widgets)