/*
#@/opt/data/webusers/lab0057/lab0057/www.thalim.cnrs.fr/www/plugins/auto/bootstrap_jqueryui/v0.5.3/css/bootjquery.mixins.less
#@/opt/data/webusers/lab0057/lab0057/www.thalim.cnrs.fr/www/plugins/auto/bootstrap/v2.1.10/bootstrap/css/mixins.less
#@/opt/data/webusers/lab0057/lab0057/www.thalim.cnrs.fr/www/plugins/auto/bootstrap_jqueryui/v0.5.3/css/bootjquery.variables.less
#@/opt/data/webusers/lab0057/lab0057/www.thalim.cnrs.fr/www/plugins/thalim_theme/css/variables.less
*/
/*
 * jQuery UI Bootstrap v0.23 (Mixins)
 * Portions copyright Addy Osmani, jQuery UI & Twitter Bootstrap
 * Created the LESS version by T1gr0u modified by Joshua Burnett
 * Released under MIT/GPL.
 */
.clearfix {
  *zoom: 1;
}
.clearfix:before,
.clearfix:after {
  display: table;
  content: "";
  line-height: 0;
}
.clearfix:after {
  clear: both;
}
.hide-text {
  font: 0/0 a;
  color: transparent;
  text-shadow: none;
  background-color: transparent;
  border: 0;
}
.input-block-level {
  display: block;
  width: 100%;
  min-height: 27px;
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
}
/* Extra colours which aren't included in Bootstrap */
/*
 * Less'd version of jQuery UI Progressbar 1.10.0
 *
 * @see http://docs.jquery.com/UI/Progressbar#theming
 */
.ui-progressbar {
  height: 2em;
  margin-bottom: 20px;
  border: 0px;
  overflow: hidden;
  background-color: #f7f7f7;
  background-image: -moz-linear-gradient(top, #f5f5f5, #f9f9f9);
  background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#f5f5f5), to(#f9f9f9));
  background-image: -webkit-linear-gradient(top, #f5f5f5, #f9f9f9);
  background-image: -o-linear-gradient(top, #f5f5f5, #f9f9f9);
  background-image: linear-gradient(to bottom, #f5f5f5, #f9f9f9);
  background-repeat: repeat-x;
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#fff5f5f5', endColorstr='#fff9f9f9', GradientType=0);
  -webkit-border-radius: 4px;
  -moz-border-radius: 4px;
  border-radius: 4px;
  -webkit-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
  -moz-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
  box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
  text-align: left;
}
.ui-progressbar .ui-progressbar-value {
  height: 100%;
  color: #ffffff;
  /*this can be removed if ui-widget-header is blue*/
  background-color: #900314;
  background-image: -moz-linear-gradient(top, #800000, #a90832);
  background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#800000), to(#a90832));
  background-image: -webkit-linear-gradient(top, #800000, #a90832);
  background-image: -o-linear-gradient(top, #800000, #a90832);
  background-image: linear-gradient(to bottom, #800000, #a90832);
  background-repeat: repeat-x;
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff800000', endColorstr='#ffa90832', GradientType=0);
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
  border-color: #0099cc #0099cc #003f81;
  border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
  -webkit-box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.15);
  -moz-box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.15);
  box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.15);
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
  -webkit-transition: width 0.6s ease;
  -moz-transition: width 0.6s ease;
  -o-transition: width 0.6s ease;
  transition: width 0.6s ease;
}