p { font-family: Optima, "ヒラギノ丸ゴ Pro W4", "Lucida Grande";
		margin-left:30pt;
		margin-right: 30pt;
		line-height: 150%
	 }		
	#nav { font-family: Optima, "Lucida Grande" }
	#assign { color: red }
	#practice { color: teal }
	h2{ font-family: "Optima", "ヒラギノ角ゴ Pro W6", "Lucida Grande" }
	h3{ font-family: "Optima", "ヒラギノ角ゴ Pro W6", "Lucida Grande" }
	h4{ font-family:  "ヒラギノ角ゴ Pro W6" }
	h4.assign { color: red }
	h4.practice { color: teal }
	h5{ font-family:  "ヒラギノ角ゴ Pro W6" }
	h5.assign { color: red}
	h5.practice { color: teal}
	strong { color: #580000}
	strong.boolean { color: #000058}
	blockquote { background-color: #ffe8ff;
			font-family: "Optima Bold", "ヒラギノ角ゴ Pro W3", "Lucida Grande";
			padding: 10pt;
			margin-right: 30pt;
	}
	blockquote.inner { background-color: #ffc0ff;
			font-family: "Optima Bold", "ヒラギノ角ゴ Pro W3", "Lucida Grande";
			padding: 10pt;
			margin-right: 60pt;
	}
	blockquote.innerinner { background-color: #ffa0ff;
			font-family: "Optima Bold", "ヒラギノ角ゴ Pro W3", "Lucida Grande";
			padding: 10pt;
			margin-right: 60pt;
	}
	pre.program { background-color: #e8e8f0;
			font-family: "Lucida Grande", "ヒラギノ角ゴ Pro W3";
			padding: 5pt;
			margin-right: 30pt;
			margin-left:30pt;
		margin-top:15pt;
		margin-bottom:15pt;
		line-height: 120%;
		padding-top: 25pt;
		padding-bottom: 15pt;	}
	li {padding: 5pt; line-height: 125%; margin-right: 30pt;}
	table { background-color: #fff0f0;
		margin-right: 30pt;
		margin-left:60pt;
		margin-top:15pt;
		margin-bottom:15pt;
		border: 1px #1C79C6 solid; 
	}
	table.noborder {
		background-color: #fff0f0;
		margin-right: 30pt;
		margin-left:60pt;
		margin-top:15pt;
		margin-bottom:15pt;
		border: 0px
	}
	table.navi { background-color: #fffff0;
		margin-right: 30pt;
		margin-left:30pt;
		margin-top:15pt;
		margin-bottom:15pt;
		border:  0px; 
	}
	table.none { 
		margin-right: 0pt;
		margin-left: 0pt;
		margin-top: 0pt;
		margin-bottom: 0pt;
		border: 0px; 
	}
	td, th { border: 1px #1C79C6 solid;
		padding: 10px 10px; }
	td.none, th.none {border: 0px;
		padding: 10px 10px; }