/* Fix for 'white on white' text in jQuery UI datepicker */
.ui-datepicker select {
  color: black;
}

/* Fix for 'datepicker' under Bootstrap fields.
 * 1051 is above 'modal' and under 'popup'. 
 */
.ui-datepicker {
  z-index: 1051 !important;
}

/* Fix for underline text in jQuery UI datepicker */
.ui-datepicker-calendar a {
  text-decoration: none !important;
}

/* Fix for 'datepicker' under Bootstrap fields.
 * 1051 is above 'modal' and under 'popup'. 
 */
.ui-timepicker {
  z-index: 1051 !important;
}

/* Fix for underline text in jQuery UI timepicker */
.ui-timepicker-table a {
  text-decoration: none !important;
}

/* Fix for 'padding' jQuery UI timepicker */
.ui-timepicker-table td,th {
  padding: 1px;
}


body {
  /* Space for the navbar */
  padding-top:    70px;
  padding-bottom: 70px;
}


.a-map-canvas {
  height: 600px;
}

.a-map-objectlist {
  height: 600px;
}

/* Maximum breedte tooltip; default is 200px. */
.tooltip-inner {
  max-width: 400px !important;
}

@media (max-width: 767px) {
  .a-map-canvas {
    height: 300px;
  }
  .a-map-objectlist {
    height: 400px;
  }

}

@media (max-width: 767px) {
  /* Extra margin for stacked columns (< sm devices) */
  .a-stack-margin-x-sm {
    margin-bottom: 15px;
  }
}

@media (max-width: 991px) {
  /* Extra margin for stacked columns (< md devices) */
  .a-stack-margin-x-md {
    margin-bottom: 15px;
  }
}

@media (max-width: 1199px) {
  /* Extra margin for stacked columns (< lg devices) */
  .a-stack-margin-x-lg {
    margin-bottom: 15px;
  }
}

#schema-browse #date {
  display:inline;
  width:120px;
}

.cart-count {
  color: white;
  margin-top: -17px;
}