address {
   color    : #202020;
   font-size: smaller;
}

.label {
  background-color : #ffffff;
}

.nounderline {
  text-decoration : none !important;
}

.label-benchmark {
  background-color : #A6CEE3;
}

.label-benchmark_suitable {
  background-color : #1F78B4;
}

.label-numerics {
  background-color : #B2DF8A
}

.label-infeasible {
  background-color : #33A02C;
}

.label-no_solution {
  background-color : #FB9A99;
}

.label-binary {
  background-color : #E31A1C;
}

.label-feasibility {
  background-color : #FDBF6F;
}

.label-decomposition {
  background-color : #FF7F00;
}

.label-indicator {
  background-color : #CAB2D6;
}

.label-easy {
  background-color : #1B9E77;
}

.label-hard {
  background-color : #E6AB02;
}

.label-open {
  background-color : #666666;
}

.label-aggregations {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-precedence {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-variable_bound {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-set_partitioning {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-set_packing {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-set_covering {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-cardinality {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-invariant_knapsack {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-equation_knapsack {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-binpacking {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-knapsack {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-integer_knapsack {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-mixed_binary {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}

.label-general_linear {
  background-image : linear-gradient(to top right, rgba(32, 64, 96, 0.5), rgba(32, 64, 96, 1));
}


div.gallery {
    margin: 5px;
    border: 1px solid #ccc;
    float: left;
    width: 180px;
}

div.gallery:hover {
    border: 1px solid #777;
}

div.gallery img {
    width: 100%;
    height: auto;
}

div.desc {
    padding: 15px;
    text-align: center;
}

#miplibtable_wrapper button,
#miplibtable_wrapper select,
#miplibtable_wrapper a.current{
  background-color: lightgray;
  border: none;
  color: black;
  padding: 3px 10px;
  text-align: center;
  text-decoration: none;
  display: inline-block;
  border-radius: 2px;
  background-image: none;
}