.pagination {
  display: inline-block;
  padding-left: 0;
  margin: 22px 0;
  border-radius: 0px;
}
.pagination > li {
  display: inline;
}
.pagination > li > a,
.pagination > li > span {
  position: relative;
  float: left;
  padding: 6px 12px;
  line-height: 1.42857143;
  text-decoration: none;
  color: #0e3087;
  background-color: #ffffff;
  border: 1px solid #dddddd;
  margin-left: -1px;
}
.pagination > li:first-child > a,
.pagination > li:first-child > span {
  margin-left: 0;
  border-bottom-left-radius: 0px;
  border-top-left-radius: 0px;
}
.pagination > li:last-child > a,
.pagination > li:last-child > span {
  border-bottom-right-radius: 0px;
  border-top-right-radius: 0px;
}
.pagination > li > a:hover,
.pagination > li > span:hover,
.pagination > li > a:focus,
.pagination > li > span:focus {
  z-index: 2;
  color: #0e3087;
  background-color: #f2f2f2;
  border-color: #dddddd;
}
.pagination > .active > a,
.pagination > .active > span,
.pagination > .active > a:hover,
.pagination > .active > span:hover,
.pagination > .active > a:focus,
.pagination > .active > span:focus {
  z-index: 3;
  color: #ffffff;
  background-color: #0e3087;
  border-color: #0e3087;
  cursor: default;
}
.pagination > .disabled > span,
.pagination > .disabled > span:hover,
.pagination > .disabled > span:focus,
.pagination > .disabled > a,
.pagination > .disabled > a:hover,
.pagination > .disabled > a:focus {
  color: #cccccc;
  background-color: #ffffff;
  border-color: #dddddd;
  cursor: not-allowed;
}
.pagination-lg > li > a,
.pagination-lg > li > span {
  padding: 10px 16px;
  font-size: 19px;
  line-height: 1.3333333;
}
.pagination-lg > li:first-child > a,
.pagination-lg > li:first-child > span {
  border-bottom-left-radius: 4px;
  border-top-left-radius: 4px;
}
.pagination-lg > li:last-child > a,
.pagination-lg > li:last-child > span {
  border-bottom-right-radius: 4px;
  border-top-right-radius: 4px;
}
.pagination-sm > li > a,
.pagination-sm > li > span {
  padding: 5px 10px;
  font-size: 14px;
  line-height: 1.5;
}
.pagination-sm > li:first-child > a,
.pagination-sm > li:first-child > span {
  border-bottom-left-radius: 2px;
  border-top-left-radius: 2px;
}
.pagination-sm > li:last-child > a,
.pagination-sm > li:last-child > span {
  border-bottom-right-radius: 2px;
  border-top-right-radius: 2px;
}
.tx-indexedsearch-searchbox .input-lg {
  width: 300px;
}
.tx-indexedsearch-whatis {
  margin-top: 20px;
  font-size: 12px;
}
.tx-indexedsearch-browsebox {
  margin-bottom: 20px;
  font-size: 12px;
}
.tx-indexedsearch-res h4 {
  border-bottom: 2px solid #0e3087;
  padding: 10px 0 5px;
}
.tx-indexedsearch-res .tx-indexedsearch-redMarkup {
  background: #5a83ee;
  font-weight: normal;
}
.tx-indexedsearch-res .tx-indexedsearch-info {
  background: #88a6f3;
  margin-bottom: 20px;
  padding: 5px;
}
.tx-indexedsearch-res .tx-indexedsearch-info dt,
.tx-indexedsearch-res .tx-indexedsearch-info dd {
  float: left;
  font-size: 11px;
  padding-right: 5px;
}
.tx-indexedsearch-noresults {
  margin-top: 30px;
  font-weight: bold;
}
ul.browsebox {
  display: inline-block;
  padding-left: 0;
  margin: 22px 0;
  border-radius: 0px;
}
ul.browsebox > li {
  display: inline;
}
ul.browsebox > li > a,
ul.browsebox > li > span {
  position: relative;
  float: left;
  padding: 6px 12px;
  line-height: 1.42857143;
  text-decoration: none;
  color: #0e3087;
  background-color: #ffffff;
  border: 1px solid #dddddd;
  margin-left: -1px;
}
ul.browsebox > li:first-child > a,
ul.browsebox > li:first-child > span {
  margin-left: 0;
  border-bottom-left-radius: 0px;
  border-top-left-radius: 0px;
}
ul.browsebox > li:last-child > a,
ul.browsebox > li:last-child > span {
  border-bottom-right-radius: 0px;
  border-top-right-radius: 0px;
}
ul.browsebox > li > a:hover,
ul.browsebox > li > span:hover,
ul.browsebox > li > a:focus,
ul.browsebox > li > span:focus {
  z-index: 2;
  color: #0e3087;
  background-color: #f2f2f2;
  border-color: #dddddd;
}
ul.browsebox > .active > a,
ul.browsebox > .active > span,
ul.browsebox > .active > a:hover,
ul.browsebox > .active > span:hover,
ul.browsebox > .active > a:focus,
ul.browsebox > .active > span:focus {
  z-index: 3;
  color: #ffffff;
  background-color: #0e3087;
  border-color: #0e3087;
  cursor: default;
}
ul.browsebox > .disabled > span,
ul.browsebox > .disabled > span:hover,
ul.browsebox > .disabled > span:focus,
ul.browsebox > .disabled > a,
ul.browsebox > .disabled > a:hover,
ul.browsebox > .disabled > a:focus {
  color: #cccccc;
  background-color: #ffffff;
  border-color: #dddddd;
  cursor: not-allowed;
}
ul.browsebox li strong a {
  position: relative;
  float: left;
  padding: 6px 12px;
  line-height: 1.42857143;
  text-decoration: none;
  color: #0e3087;
  background-color: #ffffff;
  border: 1px solid #dddddd;
  margin-left: -1px;
  z-index: 2;
  color: #ffffff;
  background-color: #0e3087;
  border-color: #0e3087;
  cursor: default;
}