bootstrap theme: minor cosmetic changes