@charset "EUC-JP";

body{
	max-width: 600px;
	margin-left: 20px;
	margin-right: 20px;
}

.announce{
	width: 500px;
	border: 2px solid  #ff0000;
	padding: 10px;
/*	text-align: center;*/
	line-height: 130%;
}

P {
	margin-left: 15px;
	line-height: 140%;
}


h1{
	font-size: 150%;
	margin-bottom: 40px;
}

h2{
	font-size: 105%;
	border-bottom: 2px dotted #4aac63;
	padding-bottom: 5px;
	margin-top: 40px;
}

dl{
	margin-left: 10px;
}

dt{
	font-weight: bold;
        font-size: 105%;
        border-bottom: 2px dotted #4aac63;
        padding-bottom: 5px;
        margin-top: 40px;
	margin-bottom: 20px;
}

dd{
	margin-left: 15px;
}

li {
	margin-bottom: 7px;
}

pre{
	margin: 20px;
}