.stripe {
    color:#000000  !important;
    background-color:#efefef !important;
}

.hover {
	background-color:#bfbfbf  !important;
}

.embedded_variable_list {
	height:100%;
	display:none;
}

.hover_button {
	background-color:#ffffff;
}

#result {
	margin:2px;
	display:none;
}

#result_wrapper {
	margin:0;
	padding:0;
}

#selected_variables {
	display:none;
	padding:0;
	margin:0;
}

.cont {
  position : relative;
  height: 100%;
  width: 100%;
}

.over {
  background-color: #d1ecf1;
  position : absolute;
  z-index:10;
  height: 100%;
  width : 98%;
  margin : -11px;
}

#hide {
  padding: 2px;
  margin:10px;
  padding :5px;
}