@charset "Shift_Jis";

body { 
	margin: 0; padding: 0; color #000 }

/* === Blocklevel Element Property === */
h1 { 
	margin: 0 5% 1em; font-size: large; text-indent: 1em; padding: 3px; 
	background-color: #069; color: #fff; font-family: "New Times Roman",Times,serif }

div#body { 
	margin-left: 5%; margin-right: 5%; margin-top: 1ex; margin-bottom: 1em; 
	padding: 5px; font-size: 90%; line-height: 130% }
div.link {
	margin-left: 5%; margin-right: 5%; margin-top: 1ex; margin-bottom: 1px; 
	padding-right: 0.5em; font-size: 85%; text-align: right; font-family: monospace }

pre {
	text-align: left; font-size: 90%; white-space: pre }
pre.exsamp { 
	margin: 0 0 1em; padding: 1ex 1em; font-family: monospace; color: #000;
	background: #eef; font-size: 1em; white-space: pre; letter-spacing: 0; 
	line-height: 140% }
address { 
	color: #069}
hr { 
	width: 90% }
p#footer {
	font-weight: bold; text-align: center; font-family: monospace }

/* === Inlinelevel Element Property === */
span { 
	color: #f00 }
em { 
	color: #f00; font-weight: bold; font-style: normal }
strong { 
	color: #f00 }
code { 
	font-size: 1em }
#element { 
	font-size: 1.4em; color: #069; background: inherit; font-weight: bold; 
	font-family: "New Times Roman",Times,serif; letter-spacing: 0 }

/* === List Element Property === */
dl { 
	margin-left: 7%; margin-right: 5%; margin-top: 10px; margin-bottom: 10px }
dd { 
	margin: 0; padding: 0 1em; line-height: 130%; letter-spacing: 1px }
dt { 
	margin: 1em 0 0.5ex; padding: 0; letter-spacing: 1px }
#head { 
	margin: 1em 0 1ex; font-family: monospace; white-space: pre }

.exp { 
	margin-bottom: 2px; font-family: monospace; white-space: pre; 
	letter-spacing: 0px }
.exp2 { 
	padding-bottom: 1em; font-family: monospace; white-space: pre; 
	letter-spacing: 0px }
.idt { 
	margin: 0; text-indent: 1em }

.samp { 
	margin: 1ex 1em; padding: 3px; font-family: monospace; color: #000;
	background: #ddf; text-indent: 1em; letter-spacing: 0 }
.result { 
	margin: 1ex 1em 1em; padding: 1ex 1em; font-family: monospace; color: #000;
	background: #ffc; letter-spacing: 0 }

/* === Anchor Element Property === */
a:link { 
	color: #0037ff; text-decoration: none }
a:visited { 
	color: #069; text-decoration: none }
a:hover { 
	color: #000; text-decoration: none; background-color: #ff0 }
a:active { 
	color:#f00 }
dd a:link { 
	color: #0037ff; text-decoration: underline }
dd a:visited { 
	color: #069; text-decoration: underline }
dd a:hover { color: #000; text-decoration: none; background-color: #ff0}