/*
CSS Styles für index search


*/

.tx-indexedsearch-searchbox {
	padding: 5px;
	border:1px solid #a4a4a4;
	background-color: #F9FFE5;
/*  width: 100%;*/
}

.browsebox {
	padding: 10px 0 10px 0;
}

.tx-indexedsearch li {
  display: inline;
}

.tx-indexedsearch-redMarkup {
  color: #333366;
}

.tx-indexedsearch-rules p {
  color: #444444;
  margin-bottom: 15px;
}

.tx-indexedsearch .tx-indexedsearch-whatis { 
  color: #333366;
  font-size: 1.55em;
  padding: 0 0 1em 0;
  font-weight: normal;
  background-image: url("../grafik/line.png");
  background-repeat: no-repeat;
  background-position: 0 1.3em;
}

.tx-indexedsearch-browsebox {
  margin-bottom: 10px;
}


/* Searchbox 
---------------*/

.tx-macinasearchbox-pi1 {
  margin: 15px 0 0 10px;
}
.tx-macinasearchbox-pi1 a {
  color: #ff9900;
}