@charset "utf-8";





table {
	border: solid 1px #CCC;
	border-collapse:collapse;
	border-spacing:0;
	width: 90%;
	margin:0 auto;

}

th {

	background-color: #CCCCCC;

	border-bottom: solid 1px #FFF;

	border-right: solid 1px #FFF;

    padding:5px;

}

td {

	border-bottom: solid 1px #CCC;

	border-right: solid 1px #CCC;

	padding:5px;

}

.table_maru {

	text-align: center;

	font-size: 160%;

}

#content li {

	margin: 0.5em 3em;

}

#decimal li {

	list-style-type: decimal;

	margin-left: 4em;

}

strong {

	color: #FF9900;

	font-size: 120%;

}

#sidebar .b_a a{
	padding:5px 0 5px 20px;
	background-image:url(../../share/eventb_b.gif);
}