@import url('./chapter_numbers.css');

body{
	font-family:Verdana, sans-serif; 
	font-size:12pt; 
	background:white; 
	color:black;
}

#DOCTYPE span{
	display:block;
}

h1, h2, h3{
	text-align:center; 
	font-variant:small-caps; 
	margin:0;
}

#Menu{
	width:300px; 
	padding:10px; 
	float:left;
}

#Menu ul{
	margin:0; 
	list-style-type:none; 
	padding:0;
}

#Menu li{margin:5px;}

#Menu li.js{
	color:blue; 
	text-decoration:underline; 
	cursor:pointer;
}

#Coding{
	border:1px solid black; 
	margin-left:300px; 
	margin-right:100px; 
	font-family:"Courier New", serif; 
	text-align:center;
}

#Coding ul{
	margin-right:10px;
}

#Coding h2{
	border-bottom:1px solid black; 
	padding:5px; 
	margin-bottom:20px;
}

#Coding h3{
	border-top:1px solid black; 
	padding:5px; 
	margin-top:20px;
}

#Coding ul{
	list-style-type:none; 
	text-align:left; 
	line-height:2;
}


#JSYes{display:none;}

object{
	border:3px inset blue;
	margin:10px;
	width:400px;
	height:200px;
}

img{margin:10px;}

#Menu li.new_section{margin-top:30px;}

*.js_hilited{
	background-color:#ccc;
	border:1px solid black;
	padding:5px;
}
a.chap_title_ref{font-style:italic;}
a.chap_title_ref:before{content: 'Chapter  ' counter(chap_ref) '  (';}
a.chap_title_ref:after{content: ')';}
a.chap_title_ref:before, a.chap_title_ref:after{font-style:normal;}