mini: function draw_border() is only once used, so write it directly