Bootlint library included. Bootlint fix to searchbox.

themes/bootstrap3/templates/search/searchbox.phtml

@@ -86,10 +86,12 @@
     ?>
     <? if ((isset($hasDefaultsApplied) && $hasDefaultsApplied) || !empty($filterDetails)): ?>
       <? $defaultFilterState = $options->getRetainFilterSetting() ? ' checked="checked"' : ''; ?>
-      <label class="checkbox">
-        <input onChange="$('.applied-filter').click()" type="checkbox"<?=$defaultFilterState?> id="searchFormKeepFilters"/>
-        <?=$this->transEsc("basic_search_keep_filters")?>
-      </label>
+      <div class="checkbox">
+        <label>
+          <input onChange="$('.applied-filter').click()" type="checkbox"<?=$defaultFilterState?> id="searchFormKeepFilters"/>
+          <?=$this->transEsc("basic_search_keep_filters")?>
+        </label>
+      </div>
       <div class="hidden">
         <? foreach ($filterDetails as $current): ?>
           <input class="applied-filter" id="<?=$this->escapeHtmlAttr($current['id'])?>" type="checkbox"<?=$defaultFilterState?> name="filter[]" value="<?=$this->escapeHtmlAttr($current['value'])?>" />

themes/bootstrap3/theme.config.php

@@ -14,6 +14,7 @@ return array(
         'vendor/jquery.min.js',
         'vendor/bootstrap.min.js',
         'vendor/bootstrap-accessibility.min.js',
+        'vendor/bootlint.min.js',
         'vendor/typeahead.js',
         'vendor/rc4.js',
         'common.js',