@charset "Shift_Jis";

/*===== Basic property-info =====*/
body { background: #ffffde; margin: 0px; padding: 0px; color: #000 }

div.link a:link { color: #0037ff; text-decoration: none}
div.link a:visited { color: #069; text-decoration: none}
a:hover { color: #000; text-decoration: none; background-color: #ff0}
a:active {color:#f00 }

a:link { color: #03f; text-decoration: underline }
a:visited { color: #069; text-decoration: underline }

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

/*===== Element property-info =====*/



h1#header { 
	margin-left: 5%; margin-right: 5%; margin-top: 0; margin-bottom: 0px; 
	padding: 2px; background: #069; color: #fff; font-size: 1.1em; 
	font-weight: bold; text-indent: 0.5em; font-family: "New Times Roman",Times,serif }

h2 { 
	margin: 1ex 0 0; font-size: large; color: #069; background: inherit; 
	font-family: monospace }

h2#caption { 
	text-align: left; font-size: 1.1em; font-weight: bold; margin-top: 1em; 
	margin-bottom: 1ex; letter-spacing: 0; background: #ffb; color: #000; 
	border-top: 1px #000 solid; border-bottom: 1px solid #000; 
	text-indent: 1em; padding: 3px }

address { 
	font-size: smaller; color: #069 }
.nmg { 
	margin: 0 }
.idt { 
	margin: 0px; text-indent: 1em }
.idt2 { 
	margin-bottom: 0; margin-top: 1em; text-indent: 1em }
.idt3 { 
	text-indent: 1em }

#pageline { margin-top: 1.5em }

.test { 
	margin: 0px; text-indent: 2em; font-family: monospace }
.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 }
.usp { 
	margin-top: 0px }
.usp_nav { 
	margin-bottom: 0px; text-indent: 1em }
.samp { 
	margin-top: 1px; margin-left: 1em; margin-right: 1em; margin-bottom: 1em; 
	padding: 1ex; font-family: monospace; color: #000;
	background: #fff; text-indent: 1em; letter-spacing: 0; border: 1px solid #000 }
.result { 
	margin-top: 1px; margin-left: 1em; margin-right: 1em; margin-bottom: 1em;
	padding: 1ex; font-family: monospace; color: #000;
	background: #ffb; text-indent: 1em; letter-spacing: 0; border: 1px solid #000 }

#imblock { text-align: center }

code { 
	font-size: medium }
hr { 
	width: 90% }

pre#menu { 
	font-size: 1.1em; text-align: left; white-space: pre; line-height: 1.4em; 
	font-weight: bold; padding-left: 1.5em; font-family: monospace }
pre.exsamp { 
	margin: 0 0 1em; padding: 1ex 1em; font-family: monospace; color: #000;
	background: #fff; font-size: 1em; white-space: pre; letter-spacing: 0; 
	line-height: 140%; text-align: left; border: 1px solid #000 }

/*===== List Element property-info=====*/
dl { 
	margin-left: 5%; 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 }
dt#tag { 
	margin: 1em 0; padding: 0 }

/*===== Table Element property-info=====*/
table#index { 
	margin-left: 1em; margin-top: 0; margin-bottom: 1em }


/*===== Division property-info=====*/

div.body {
	margin-left: 5%; margin-right: 5%; margin-top: 10px; margin-bottom: 10px; 
	line-height: 130%; letter-spacing: 1px }

div#bottom {
	margin-left: 5%; margin-right: 5%; margin-top: 5px; margin-bottom: 10px; 
	font-size: 90%; line-height: 130% }


div#footer {
	margin-left: 5%; margin-right: 5%; margin-top: 10px; margin-bottom: 10px; 
	font-size: 90%; font-weight: bold; text-align: center; font-family: monospace }

div.link {
	margin-left: 5%; margin-right: 5%; margin-top: 1ex; margin-bottom: 1px; 
	padding-right: 0.5em; font-size: 85%; text-align: right }
.plist { 
	margin-left: 5%; margin-right: 5%; margin-top: 1ex; margin-bottom: 1px; 
	padding-right: 0.5em; font-size: 85%; text-align: right }

/*===== Inline Elemant property-info=====*/

.attention { color: red }
span.red { color: #c00; font-weight: bold }
span.normal { font-weight: normal}
span.small { font-size: smaller }
span.gr { color: #069 }
span.ra { color: red }
span.element { 
	font-size: 1.4em; color: #069; background: inherit; font-weight: bold; 
	font-family: "New Times Roman",Times,serif; letter-spacing: 0 }
span.serif { font-family: "New Times Roman",Times,serif }


@media aural, braille, embossed {
span.speak, span.gr {
	speak: none; volume: silent; visibility: hidden }
span#headline, span.black {
	speak: none; volume: silent; visibility: hidden  }
}