@charset "Shift_Jis";

body { 
	margin-left: 5%; margin-right: 5%; margin-top: 0; margin-bottom: 1em; 
	padding: 0; background-color: #ffffde; color #000 }

/* === Blocklevel Element Property === */
h1 { 
	margin-top: 0; margin-bottom: 1em; 
	font-size: large; text-indent: 1em; padding: 3px; 
	background: #069; color: #fff; font-family: monospace }

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

pre {
	text-align: left; font-size: 90%; white-space: pre }

pre.exsamp { 
	margin-left: 0; margin-right: 0; margin-top: 0; margin-bottom: 1em; 
	padding: 1em; font-family: monospace; color: #000;
	background: #f0f0f0; font-size: 1em; white-space: pre; letter-spacing: 0; 
	border: 1px solid #000; line-height: 130% }

address { 
	color: #069}
#imleft {
	float: left; margin-right: 1ex; margin-bottom: 1em }

#footer {
	font-weight: bold; text-align: center; font-size: small; font-family: monospace }

p,dd { 
	letter-spacing: 1px; line-height: 130% }

/* === 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: 2%; margin-right: 2%; margin-top: 10px; margin-bottom: 10px }
dd { 
	margin: 0; padding-left: 1em; padding-right: 1em; line-height: 130% }

dt { 
	margin-left: 0; margin-right: 0; margin-top: 1em; margin-bottom: 0;
	padding: 0; font-weight: bold;  }

#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 }
.idt2 { 
	margin-top: 1em; margin-bottom: 0; text-indent: 1em }
.idt4 {
	margin-top: 1em; margin-bottom: 1em }

.samp { 
	margin-left: 1em; margin-right: 1em; margin-top: 1ex; margin-bottom: 1ex;
	padding: 1em; font-family: monospace; color: #000; background: #fff;
	border: 1px solid #000 }

.result { 
	margin-left: 1em; margin-right: 1em; margin-top: 1ex; margin-bottom: 1em;
	padding-top: 1ex ; padding-left: 1em; padding-right: 1em; padding-bottom: 1ex;  
	color: #000; background: #ffb; border: 1px solid #000}
.nmg { 
	margin: 0 }

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

/* === Table Element Property === */
table {
	margin-top: 0; margin-bottom: 1em; margin-left: auto; margin-right: auto }
td,th {
	padding-left: 0.5em; padding-right: 0.5em }
caption {
	text-align: left }
thead {
	background: #666; color: #fff }
tbody {
	background: #fff; color: #000 }
#mono {
	font-family: monospace }