Cosmetic thing: switch this to one of the theme colors.. maybe the blue for links; and consider making the border slightly lighter, maybe rgb(51, 51, 51) to match the text color. Ultimately it would be good to put these in a CSS file but I guess we can leave them here for now.