@charset "shift_jis";

/*----- 再開のお知らせ -----*/
div.restart {
	border: solid 1px #666;
	padding: 15px 5px 5px;
	margin: 15px auto;
	}


/*----- history -----*/

div#history {
	margin-top: 45px;
	border-top: 1px dotted #666;
	}

div#history h3 {
	margin-bottom: 0;
	font-size: 11px;
	font-weight: normal;
	color: #666;
	border-bottom: none;
	}
	
div#history ul {
	font-size: 11px;
	color: #666;
	}

div#history ul li {
	margin-left: -15px;
	list-style-type: none;
	}

