@charset "UTF-8";

@media all
{
	div.tx-indexedsearch td {
		padding: 1px;
	}
	
	.tx-indexedsearch .tx-indexedsearch-res .tx-indexedsearch-title a {
		text-decoration: underline;
		font-size: 1.3em;
	}
	
	.tx-indexedsearch .tx-indexedsearch-res .tx-indexedsearch-percent {
		color: silver;
		font-size: 1.3em;
		font-weight: bold;
	}
	
	.tx-indexedsearch .tx-indexedsearch-res td.tx-indexedsearch-descr p {
		margin-bottom: 0.4em;
		font-style: normal;
	}
	
	.tx-indexedsearch .tx-indexedsearch-res .tx-indexedsearch-info {
		background-color: #F8F8F8;
		color: silver;
		border-left: 3px #EFEFEF solid;
		padding-left: 5px;
	}
	
	.tx-indexedsearch-redMarkup,
	.tx-psmhighlight-sword-1 {
		background: yellow;
		font-style: normal;
	}
}