message: Fix a styling bug in the default Bootstrap theme
diff: @@ -213,11 +213,11 @@ $input-border-focus: #66afe9 !default;
  $input-color-placeholder: #999 !default;
  //** Default `.form-control` height
  -$input-height-base: ($line-height-computed + ($padding-base-vertical * 2) + 2) !default;
  +$input-height-base: ($line-height-computed + ($padding-base-vertical * 2) + pxToRem(2)) !default;
  //** Large `.form-control` height
  -$input-height-large: (ceil($font-size-large * $line-height-large) + ($padding-large-vertical * 2) + 2) !default;
  +$input-height-large: (($font-size-large * $line-height-large) + ($padding-large-vertical * 2) + pxToRem(2)) !default;
  //** Small `.form-control` height
  -$input-height-small: (floor($font-size-small * $line-height-small) + ($padding-small-vertical * 2) + 2) !default;
  +$input-height-small: (($font-size-small * $line-height-small) + ($padding-small-vertical * 2) + pxToRem(2)) !default;
  //** `.form-group` margin
  $form-group-margin-bottom: pxToRem(15px) !default;
  @@ -560,7 +560,7 @@ $popover-arrow-width: pxToRem(10px) !default;
  $popover-arrow-color: $popover-bg !default;
  //** Popover outer arrow width
  -$popover-arrow-outer-width: ($popover-arrow-width + 1) !default;
  +$popover-arrow-outer-width: ($popover-arrow-width + pxToRem(1)) !default;
  //** Popover outer arrow color
  $popover-arrow-outer-color: fade_in($popover-border-color, 0.05) !default;
  //** Popover outer arrow fallback color
  