@charset "utf-8";
.chapter { font-size:18px; font-variant:small-caps; color:#AE0000; }
.topic { font-size:15px; border-bottom-width: 2px; border-bottom-style:dotted; border-bottom-color: #CCCCCC;}


.ex { color:#3366FF; font-size:12px; font-weight:bold; font-variant:small-caps;}
.ex_desc { color:#3366FF; font-size:12px; padding-left:7px}


.code_box {
	border: #d4d4d4 1px solid; 
	padding: 4px; 
	margin-top:5px; 
	margin-bottom:15px;
	font-size: 12px; 
	font-family: "Courier New", Courier, monospace;
	color:#525252;
	background-color: #F5F5F5
}

.structure_box {
	border: #AAC9EC 1px solid; 
	padding: 4px; 
	margin-top:5px; 
	margin-bottom:20px;
	font-size:  90%; 
	font-family: "Courier New", Courier, monospace;
	color:#003399;
	background-color: #E9F3F3
}

.output_box {
	border: #d4d4d4 1px solid; 
	padding: 4px; 
	margin-top:5px; 
	margin-bottom:35px;
	background-color: #FFFFFF
}


.value_box {
	border: #BFDBC1 1px solid; 
	padding: 4px; 
	margin:4px;	
	font-size: 90%; 
	font-family:sans-serif,verdana,helvetica,arial,;
	color:#525252;
	background-color: #F3F5E7
}

.emp{
	color:#FF3366;
	font-style:normal
}