/*
#@/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 */
/*
 * jQuery UI Tabs 
 *
 * Copyright 2011, AUTHORS.txt (http://jqueryui.com/about)
 * Dual licensed under the MIT or GPL Version 2 licenses.
 * http://jquery.org/license
 *
 * http://docs.jquery.com/UI/Tabs#theming
 */
.ui-tabs {
  position: relative;
  border: 0;
  -webkit-border-radius: 0;
  -moz-border-radius: 0;
  border-radius: 0;
  /* position: relative prevents IE scroll bug (element with position: relative inside container with overflow: auto appear as "fixed") */
}
.ui-tabs .ui-tabs-nav li:hover {
  text-decoration: none;
}
.ui-tabs .ui-tabs-nav {
  margin-bottom: 5px;
  border: solid #ddd;
  border-width: 0 0 1px 0;
  -webkit-border-radius: 0;
  -moz-border-radius: 0;
  border-radius: 0;
  background: none;
}
.ui-tabs .ui-tabs-nav li {
  position: relative;
  top: 0;
  float: left;
  margin-right: 2px;
  margin-bottom: -1px;
  border: 0;
  list-style: none;
  white-space: nowrap;
  background: none;
}
.ui-tabs-nav .ui-state-default {
  -webkit-box-shadow: 0px 0px 0px #ffffff;
  -moz-box-shadow: 0px 0px 0px #ffffff;
  box-shadow: 0px 0px 0px #ffffff;
}
.ui-tabs {
  /* .ui-tabs-nav li a,
	.ui-tabs-collapsible .ui-tabs-nav li.ui-tabs-selected a {
		cursor: pointer;
		color:@ui-blueLight;
		background:none;
		font-weight:normal;
		margin-bottom:-1px;
	} */
  /* first selector in group seems obsolete, but required to overcome bug in Opera applying cursor: text overall if defined elsewhere... */
}
.ui-tabs .ui-tabs-nav li a {
  float: left;
  border: 1px solid #fff;
  border-bottom: 1px solid #ddd;
  -webkit-border-radius: 4px 4px 0 0;
  -moz-border-radius: 4px 4px 0 0;
  border-radius: 4px 4px 0 0;
  padding: 8px 12px;
  font-weight: normal;
  text-decoration: none;
  outline: none;
  color: #800000;
  background: none;
}
.ui-tabs .ui-tabs-nav li.ui-tabs-selected {
  padding-bottom: 0px;
  outline: none;
}
.ui-tabs .ui-tabs-nav li.ui-tabs-selected a,
.ui-tabs .ui-tabs-nav li.ui-state-disabled a,
.ui-tabs .ui-tabs-nav li.ui-state-processing a,
.ui-tabs .ui-tabs-nav li.ui-tabs-active a,
.ui-tabs .ui-tabs-nav li.ui-tabs-active a:hover,
.ui-tabs .ui-tabs-nav li.ui-tabs-selected a:hover {
  background-color: #ffffff;
  border: 1px solid #ddd;
  border-bottom-color: #ffffff;
  cursor: text;
  color: #999999;
  outline: none;
}
.ui-tabs .ui-tabs-nav li:hover,
.ui-tabs .ui-tabs-nav li a:hover {
  border-color: whiteSmoke whiteSmoke #ddd;
  text-decoration: none;
  background-color: whiteSmoke;
}
.ui-tabs .ui-tabs-nav li.ui-tabs-selected:hover,
.ui-tabs .ui-tabs-nav li.ui-tabs-active:hover {
  background: #ffffff;
  outline: none;
}
.ui-tabs .ui-tabs-panel {
  display: block;
  margin: 1em 0;
  border: 0;
  -webkit-border-radius: 0;
  -moz-border-radius: 0;
  border-radius: 0;
  padding: 1px 0;
  background: none;
}
.ui-tabs-panel .ui-button {
  text-decoration: none;
}
.ui-tabs .ui-tabs-hide {
  display: none !important;
}
/* IE fix for background inheritance from ui-widget*/
.ui-tabs .ui-tabs-nav li {
  filter: none;
}
.ui-tabs-nav.ui-corner-all {
  -webkit-border-radius: 0;
  -moz-border-radius: 0;
  border-radius: 0;
}