/* @charset "EUC-JP"; */
/* Namazu 追加スタイル */

/* クラス normal-block はnamazuの全ソースが改造できるようになるまで、暫定的に存在 */
/* 将来は body class="namazu" の廃止とともに撤廃される */
body.namazu .normal-block em {	/* 推奨スタイルと異なり、太字で表示する。イタリック体にはしない */
	font-style:normal;
	font-weight:bold;
}
body.namazu .normal-block strong {	/* 太字で表示し、さらに赤色で表示する */
	color:red; background-color:#eee;
}

.search label.text, .search label.select, .search legend {
	font-weight:bold;
}
.search fieldset { border:none; }

strong.keyword { color: red; background-color:#eee; }
p.example {
	text-indent: 1em; 
	color: Navy; background-color:#eee;
	font-weight: bold;
	/* font-family: monospace; */
}
@media screen, print {
	p.example {	/* NN4 などの poor なブラウザ対策 */
		font-family: monospace;
	}
}
/*
code {
	font-family: monospace;
}
*/
code {
	color: Navy; background-color:#eee;
}
code.example {
	font-weight: bold;
}
code.operator {
	font-weight: bold;
}

ul.idxname-list {
	list-style:none outside;
}
ul.idxname-list li {
	display:inline;
}
ul.idxname-list li:after {
	content:" ";
}

.version {
	font-weight:bold;
}
.last-modified {
	font-weight:bold;
}