.venn {
  color: white;
  font-size: 20px;
  display: block;
  margin-bottom: 10px;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}
.venn:after {
  content: "";
  display: block;
  clear: both;
}
.venn > div {
  color: #333;
  text-shadow: 0 1px 1px rgba(255, 255, 255, 0.75);
  background-color: #f5f5f5;
  background-image: -moz-linear-gradient(top, #ffffff, #e6e6e6);
  background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#ffffff), to(#e6e6e6));
  background-image: -webkit-linear-gradient(top, #ffffff, #e6e6e6);
  background-image: -o-linear-gradient(top, #ffffff, #e6e6e6);
  background-image: linear-gradient(to bottom, #ffffff, #e6e6e6);
  background-repeat: repeat-x;
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffffff', endColorstr='#ffe6e6e6', GradientType=0);
  -webkit-box-shadow: inset 0 1px 0 rgba(255,255,255,.2), 0 1px 2px rgba(0,0,0,.05);
  -moz-box-shadow: inset 0 1px 0 rgba(255,255,255,.2), 0 1px 2px rgba(0,0,0,.05);
  box-shadow: inset 0 1px 0 rgba(255,255,255,.2), 0 1px 2px rgba(0,0,0,.05);
  border: 1px solid #BBB;
  cursor: pointer;
  text-align: left;
  float: left;
}
.venn > div:hover {
  color: #333;
  text-decoration: none;
  background-color: #e6e6e6;
  *background-color: #d9d9d9;
  /* Buttons in IE7 don't get borders, so darken on hover */

  background-position: 0 -15px;
  -webkit-transition: background-position 0.1s linear;
  -moz-transition: background-position 0.1s linear;
  -o-transition: background-position 0.1s linear;
  transition: background-position 0.1s linear;
}
.venn > div.active,
.venn > div:active {
  background-color: #e6e6e6;
  background-color: #d9d9d9 \9;
  background-image: none;
  outline: 0;
  -webkit-box-shadow: inset 0 2px 4px rgba(0,0,0,.15), 0 1px 2px rgba(0,0,0,.05);
  -moz-box-shadow: inset 0 2px 4px rgba(0,0,0,.15), 0 1px 2px rgba(0,0,0,.05);
  box-shadow: inset 0 2px 4px rgba(0,0,0,.15), 0 1px 2px rgba(0,0,0,.05);
}
.venn .left,
.venn .right {
  width: 65px;
  padding-left: 35px;
  height: 35px;
  line-height: 35px;
  border-radius: 17.5px;
}
.venn .center {
  width: 35px;
  height: 35px;
  border-radius: 17.5px;
}
.venn .center:active,
.venn .center.active {
  border: 0;
  height: 36px;
  width: 37px;
  /*.box-shadow(none);*/

  -webkit-box-shadow: inset 0 0px 8px rgba(0,0,0,.15);
  -moz-box-shadow: inset 0 0px 8px rgba(0,0,0,.15);
  box-shadow: inset 0 0px 8px rgba(0,0,0,.15);
}
.venn .right {
  width: 50px;
  margin-left: -35.333333333333336px;
  padding-left: 50px;
}
.venn .center {
  margin-left: -106px;
}
.table-wrap {
  /*width: 570px;*/

  height: 600px;
  overflow: scroll;
  margin-bottom: 20px;
}
.table-wrap td {
  font-size: 12px;
  padding: 2px 4px;
  white-space: nowrap;
}
.table-wrap td:first-child {
  font-weight: bold;
}
.dbl-scroll {
  overflow: hidden;
  overflow-x: scroll;
  margin-top: -1px;
}
.dbl-scroll > div {
  width: 100%;
  height: 1px;
}
.navbar .social {
  float: right;
  padding: 8px 10px 0;
}
.fixed-nav {
  position: fixed;
  top: 100px;
  left: 20px;
  padding: 8px 0;
}
#vstup .well {
  position: relative;
}
.action-upload {
  position: absolute;
  top: 19px;
  right: 19px;
}
.action-download {
  margin-bottom: 10px;
}
.upload-input {
  /*width: 520px;*/

  height: 400px;
}
.ignore-p {
  margin-top: auto;
}
.ignore-p .ignore-pattern {
  padding: 2px;
  margin-bottom: 2px;
}
.ignore-p .ignore-domain {
  font-size: 11px;
}