/* ページ内検索の色付けで */
.highlight {
   background-color: yellow;
}

.result-number-display{
	margin: 0px;
	padding: 0px;
}

.search-text-box{
	margin-bottom: 0px;
	width: 200px;
	height: 15px;
	font-size: 10pt;
	border: double 1px #777;
}

/* 全文検索ページのデザイン */
dl{
	margin-top: 15px
}
dt a{
	font-weight: bold;
	margin: 0;
	padding: 0;
}

dd{
	margin: 0;
	padding: 0;
	font-size:10pt;
	/* width:70%; */
}

.result-hit-word{
	background-color: #cc8;
	font-size:9pt;
}

.search-commentary{
	margin-bottom: 10px;
}

.search-text-box-all{
	vertical-align: middle;
	width: 190px;
	height: 26px;
	font-size: 14pt;
	border: double 1px #777;
}

.search-button{
	padding-right: 5px;
	padding-left: 5px;
	vertical-align: middle;
	text-align: center;
	height: 26px;
	font-size: 12pt;
	border: double 1px #000;
}

.result-line{
	 border: dashed 1px #777; 
	height: 1px;
	color: white;
}