@charset "UTF-8";

.code {
	padding: 15px;
	border: 1px dashed #000000;
	background-color: #FFFFCC;
}

.command {
	padding: 10px;
	color: #CCCCCC;
	background-color: #000000;
}

.box div,.warnbox div,.infobox div {
	padding: 3px;
	margin: 0px;
}

.warnbox .head,.infobox .head,.box .head {
	color: #FFFFFF;
	font-weight: bold;
	font-size: small;
}

.warnbox {
	margin-top: 10px;
	margin-bottom: 10px;
	padding: 0px;
	border: 2px solid #CC0000;
}

.warnbox .head {
	background-color: #CC0000;
}

.infobox {
	margin-top: 10px;
	margin-bottom: 10px;
	padding: 0px;
	border: 2px solid #FF9900;
}

.infobox .head {
	background-color: #FF9900;
}

.box {
	margin-top: 10px;
	margin-bottom: 10px;
	padding: 0px;
	border: 2px solid #0099FF;
}

.box .head {
	background-color: #0099FF;
}