buttons/bordered_rectangular_button library