h1,h2,h3 {
	margin-top: 0;
}
.pro {
	font-size: 0.8em;
}
.namu {
	font-size: 0.8em;
	margin-left: 1em;
}

.menu {
	font-size: 0.8em;
}
#docs p {
	font-size: 0.8em;
	line-height: 1.3em;
}
#docs table {
	font-size: 0.8em;
}
#docs table p {
	font-size: 1em;
	line-height: 1.2em;
}
#docs2 p {
	font-size: 0.8em;
	line-height: 1.3em;
}
#docs3 p {
	font-size: 0.8em;
	line-height: 1.3em;
}
#docs2 table {
	font-size: 0.8em;
}
#docs3 table {
	font-size: 0.8em;
}
#docs2 table p {
	font-size: 1em;
	line-height: 1.2em;
}
#docs3 table p {
	font-size: 1em;
	line-height: 1.2em;
}
#locMenu p {
	font-size: 0.8em;
	line-height: 1.3em;
}