/* ------------------------------------------------------------
 * The h070017 standard stylesheet
 *
 * bibliography
 *     SmartDoc http://xmlSmartDoc.org
 *     The Web KANZAKI standard stylesheet 2002-08-17  http://www.kanzaki.com
 *     WebSiteDesign Vol.7 ISBN4-7741-1700-5 そろそろスタイルシートで
 * -----------------------------------------------------------*/

/* ------------------------------------------------------------
 * layout
 * position:absoluteをleftContentsAreaもしくはUtilityAreaに
 * -----------------------------------------------------------*/


/* ------------------------------------------------------------
 * memo
 * 上、右、下、左
 * -----------------------------------------------------------*/

div.headerArea
{
}
div.leftContentsArea
{
	right:250px;
	left:20px;
	width:250px;
	position:absolute;
}
div.UtilityArea
{
	margin-left:220px;

}
div.footerArea
{
}

/* -----------------------------------------------
 * Element type selectors 
 * ----------------------------------------------- */

/* *
{border:1px #fcc solid}*/	
/*html{
}*/
body
{
	background: #f0f8e0 /* url(/parts/www.png) no-repeat fixed top left */;
	letter-spacing:1px;
	color: black;
	margin: 1.0em 1.0em 1.0em 1.0em;
	padding: 2.0em 2.0em 2.0em 2.0em;
}
textarea
{
	width: 500px;
	height: 100px;
}
dfn
{
	/*color:#c36;*/
	font-style:normal;
	font-weight: bolder;
}
dt
{
	font-weight:bolder; margin-top:0.3em
}
var
{
	color: #066;
	font-style: italic;
}
hr
{
	clear: both
}
/* explicitly declares bgcolor for WebTV */
p, div, h1, h2, h3, h4, address
{
	background-color: transparent
}
/*div.navi + hr
{display: none}*/
p
{
	margin: 0.0em 0.0em 0.0em 1.0em;
	padding: 0.5em 0.5em 0.5em 0.5em;
	text-indent: 1em;
	font-size: 90%;
	line-height: 1.6em;
}
ul, ol
{
	margin: 0.0em 0.0em 0.0em 1.0em;
	padding: 0.5em 0.5em 0.5em 0.5em;
	text-indent: 1em;
	font-size: 90%;
	line-height: 1.6em;
}

/* -----------------------------------------------
 * Class selectors for ordinary element types 
 * ----------------------------------------------- */

/* for error handling pages */
body.error
{
	color: black;
	background-color: #fee;
}

/* for link anchors */
/* a:link   
{color: blue;} */
/* a:visited
{color: #c7a;} */

/* avoid confusion on TOC links within the page  (IE) */
.lead a:visited,
.inner a:visited
{color: #059;}

.lead a:hover,
.inner a:hover,
a:hover 
{color: #396;}

/* link lists which refer to resources on other pages */
.ref
{list-style-image: url(/parts/tri-r.png)}
.inner
{list-style-image: url(/parts/tri-d.png);}
.enm
{list-style-image: none} /*enumerated type*/


acronym
{border-bottom:1px dotted black} /*IE abac*/

fieldset
{
	padding: 1em; border: gray solid 1px;
	background-color: #ffc;
}
.query
{
	display: inline;
}

/*key identifying instruction*/
.ki kbd, kbd.ki
{
	color: maroon; background: #fee;
	border: gray outset thin; padding: 0.1em 0.3em;
}

/* -----------------------------------------------
 * Headings style
 * ----------------------------------------------- */
h1
{
	font-size: 170%;
}
h2
{
	font-size: 140%;
}
/* subtitle within h1 */
.subtitle
{
	font-size: 100%;
	font-weight: normal;
}
h1, h2, h3, h4, h5, h6
{
	color:#4020a0;
	clear: both;
	margin-top: 1.6em;
}
h1,h2,h3,h4,h5,h6
{margin-bottom: 0.5em; /*color: #046*/}/* Mozilla */

/* -----------------------------------------------
 * Semantic group of table columns and rows
 * ----------------------------------------------- */

col.term, colgroup.term
{
	background-color: #eef;
}
col.desc, colgroup.desc
{
	background-color: #ffffe9;
}
col.formula, colgroup.formula
{
	background-color: #def;
}
.special
{
	background-color: #fee;
}
thead
{
	background-color: #ddd;
}
tbody,tr,td
{
/*
	border-collapse: separate;
*/
	border-collapse: collapse;
	border-spacing: 0px; /* IE 未実装 */
	padding: 3px;
	font-size: 90%;
}
table.data tbody th
{
	border: 1px solid rgb(64,64,64);
	background-color: #f0f0c0;
}
table.data tbody td
{
	border: 1px solid rgb(128,128,128);
	background-color: #f8f8e0;
}



/* -----------------------------------------------
 * Semantic block (section) style 
 * ----------------------------------------------- */

span.date
{
	color: #40a020;
}

span.diarysubject
{
	font-size: 120%;
	padding: 0.5em;
}


.lead
{
	padding: 1em;
	border: outset thin #fefef9;
	background-color: #ffffe9;
}

/*for difference btw IE5 and IE5.5/6 */
div.lead p
{
	margin:0.35em;
	line-height: 1.3em;
}
ul li
{
	list-style-image: url(icon_green.gif); 
}

.toc
{
}

.intro
{
	margin-left: -1.5em;
}
div.maintext p,
div.main p
{
	line-height: 1.45em;
	margin-bottom: 1.3em;
}
div.main li p
{
	margin-bottom: 1em;
}
div.en,
p.en
{
	font-family: Arial, sans-serif;
	border: double #ccf;
	padding-top: 1em;
	border-width: thin 0;
	padding-bottom: 1em;
	margin-bottom: 1em;
	background-color: #fdfdf6;
}

html:lang(ja) > address
{
	font-style:normal
}
.note
{
	color: #033;
	border: none;
	background-color: #effeef;
	padding: 0.6em 1em;
}

.hilite
{
	border: none;
	background: #ffffcc;
	padding: 0.6em 1em;
}

/* not main text. can be used with inline elements */
.annotate,
.correction,
.excuse,
.misc
{
	font-size: 80%
}
/* somewhat 'low key' */
.whisper
{
	color:#666666; font-size: 80%
}

/* -- pseudo columns -- */
/* Set class="clear" on the following element */
.col-left,
.col-right
{
	padding-right: 1em;
	width: 50%;
	text-align: left;
}
.col-left 
{float: left }
.col-right
{float: right}
.clear    
{clear: both }


/* -----------------------------------------------
 * Boxed article style (moved form /doc/html 2001-09-01)
 * ----------------------------------------------- */

.message
{
	background-color: #e8f8d8;
	width:50.0em;
	margin-top:2.0em;
	margin-bottom:2.0em;
	margin-left:1.0em;
	margin-right:1.0em;
	padding-top: 1.0em;
	padding-bottom: 1.0em;
	padding-left: 1.0em;
	padding-right: 1.0em;
	border-width: thin 0;
	border: solid 1px #d0e0c0;
}
.post
{
	background-color: #e0f0d0;
	width:35.0em;
	margin-top:1.0em;
	margin-bottom:1.0em;
	margin-left:0.5em;
	margin-right:0.5em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	padding-left: 0.5em;
	padding-right: 0.5em;
	border-width: thin 0;
	border: solid 1px #b0c0a0;
}
.aux
{
	margin: 1em 0 1em 3em;
	padding: 0.5em 1em;
	border: dotted 1px #333;
	background-color: #f6f6f6;
	font-size: 95%;
}
.spec-fragment,
.example,
.badexample,
.res-sample
{
	margin-left: 0;
	margin-right: 1em;
	padding: 0.5em 1em;
	border: solid 1px #ddd0c0;
	font-family: monospace;
	font-size: 95%;
}
.spec-fragment
{
	background-color: white;
	border-color: #fc0;
}
.example
{
	background-color: #fffef0;
}
.res-sample
{
	background-color: #fcfcfc;
}
.badexample
{
	background-color: #fff9f9;
	border-color: red;
}
.l-ex
{
	font-size: large;
}
.ex-label
{
	color: #00c;
}
div p.ex-label
{
	margin: 0 auto
}
div.example pre, div.example p
{
	margin: 0.3em auto;
}

/* -----------------------------------------------
 * Common classes for phresal text
 * ----------------------------------------------- */

/* attention for non empashis such as code, ins, del */
.attn 
{color:#f33}
.attn2
{color:navy}
.attn3
{color:#093}

/* something like 'line marker' */
.dif1 
{color:black; background-color:#eef}
.dif2 
{color:black; background-color:#fee}
.dif3 
{color:black; background-color:#efe}
.dif4 
{color:black; background-color:#feb}

/* do not display on CSS aware browsers, but show on others */
.c,.comptblty
{
	display: none;
}

/* but, why do you need color here ? */
.hot
{
	color:#ff0000
}
.cool,
.pseudolink
{
	color:#0000ff
}

.silent
{
	color:black; font-style: normal; font-weight: normal;
}

/* number should be right aligned*/
.num
{
	text-align: right
}

/* some (legacy) positioning styles */
.pause, /*separating sections such as * * * */
.prima,  /* primary image or section */
.sn /* semantically neutral */
{
	text-align: center
}
.FYI, /* For your info */
.tailpiece, /* cite, signature etc, at the right bottom */
.dopo /* <-> prima */
{
	text-align: right
}


/* -----------------------------------------------
 * Image positioning and border 
 * ----------------------------------------------- */
img.left,
img.sign
{
	float: left
}
img.right,
img.dopo,
img.tailpiece
{
	float: right
}
a img
{
	border-style: none; color: white; /* border:none breaks NN 4.x */
}



/* -----------------------------------------------
 * Navigation at top and bottom 
 * ----------------------------------------------- */

.alt-lang
{
	position:absolute; right: 1em; padding-top:0.5em; text-align:right; /*background:#efe*/
}

/* page top logo-banner-navigation */
#banner
{
	margin-left:-2em;
}
#twk-logo
{
	float:left;
	display:block;
	margin-right:0.5em;
}

/* pesudo underline for banner */
#gnavi
{
	width: 400px;
	margin: 0 0 0 90px;
	padding: 11px 0 0 5px;
	border-width: 0 0 1px 0;
	display:block;
	border-style: solid;
	border-color: #cce;
}

/* Text (anchor) appearance for navigation bar */
#banner,
#b2t-navi,
.navi-ex
{
	font-family: Helvetica, Arial, sans-serif;
	font-weight: bolder;
	color: #66e;
}
#banner,
#b2t-navi
{
	font-size: 14px;
	display: block;
}
#banner a:link,
#banner a:visited,
#b2t-navi a:link,
#b2t-navi a:visited
{
	color: #66e; text-decoration: none;
}
#banner a:hover,
#b2t-navi a:hover
{
	color: #f99; text-decoration: underline;
}


p#seclink
{
	position:absolute;top:0;left:0;
	width:25px;height:200px;
	margin:0;display:none
}
p#seclink img
{
	width:25px;height:200px;
}



/* top-right [Help] [Status info] positioning */
#stinfo-navi
{
	display: block;
	text-align: right; /*required for Opera support*/
	width: auto;
	position: absolute;
	/*float:right;*/
	top: 10px; right: 1em;
	font-size: 140%;
	font-weight: normal;
	padding: 0;
	margin: 0;
}
#snavi
{
	font-size: 16px
}


/* bottom-right [Page top] positioning */
#b2t-navi
{
	display: block;
	float:right;
	width: 92px;
	text-align: right;
	font-style: normal;
	background: #fdfdf6; /*NN4*/
}

#pst
{
	color: navy; font-style: inherit /*same as address*/
}

@media screen
{
	*[accesskey]:after
	{
		content: "<" attr(accesskey) ">";
		font-size: 80%;
		vertical-align:super;
	}
/*
	a[href^="http:"]:before
	{
		content: url(http://www.umasugi.com/~h070017/netref.png);
	}
	a[href^="https:"]:before
	{
		content: url(http://www.umasugi.com/~h070017/netref.png);
	}
*/
}

@media aural
{
	.c
	{display: inline}
}



/*
    article.css

    since   : Nov. 21, 1998
    version : Sep. 14, 2002
    author  : ASAMI, Tomoharu (asami@XMLSmartDoc.org)
*/

dfn
{
  font-weight: bold;
  font-style: normal;
}

code
{
  font-family: helvetica, sans-serif;
  font-weight: bold;
}

li p
{
  text-indent: 0pt;
}

dt
{
  font-weight: bold;
}

th p
{
  text-indent: 0pt;
}

td p
{
  text-indent: 0pt;
}

div.title
{
  text-align: center;
}

span.title
{
  font-size: larger;
}

span.subtitle
{
  font-size: smaller;
}

div.toc, div.titletoc
{
  background-color: cornsilk;
  padding: 10pt;
  border-style: inset;
  border-color: cornsilk;
  border-width: 1px;
  margin-top: 10pt;
  margin-bottom: 30pt;
  width: 230px;
}
div.mainbody
{
  padding: 2px;
  border-style: none;
  margin-top: 10pt;
  margin-bottom: 30pt;
  margin-left: 250pt;
  position:absolute;
  width: 750px;
  top: 150px;
}

div.date
{
  text-align: left;
}

div.org
{
  text-align: center;
}

div.author
{
  text-align: center;
  font-weight: bold;
}

div.email
{
  text-align: center;
}

div.hp
{
  text-align: center;
}

div.summary
{
  color: maroon;
  background: darkkhaki;
  border-style: inset;
  border-color: khaki;
  margin-top: 20pt;
  margin-bottom: 20pt;
  margin-left: 30pt;
  margin-right: 30pt;
  padding: 5pt;
}

div.comment
{
  color: magenta;
  background: yellow;
}

span.comment
{
  color: magenta;
  background: yellow;
}

div.navigator
{
  background: khaki;
  border-top: 1pt solid black;
  border-bottom: 1pt solid black;
  text-align: center;
  margin-top: 10pt;
  margin-bottom: 10pt;
}

div.navigatortop
{
  background: khaki;
  border-top: 1pt solid black;
  border-bottom: 1pt solid black;
  text-align: center;
  margin-bottom: 10pt;
}

div.navigatorbottom
{
  visibility: hidden;
  background: khaki;
  border-top: 1pt solid black;
  border-bottom: 1pt solid black;
  text-align: center;
  margin-top: 10pt;
}

div.languages
{
  text-align: left;
}

div.footnote
{
  background: antiquewhite;
}

div.fyi
{
  color: maroon;
  background: peachpuff;
  padding: 5pt;
  margin-top: 10pt;
  margin-bottom: 10pt;
}

div.fyi div.title
{
  background: antiquewhite;
  font-weight: bold;
  padding: 5pt;
  margin-top: 5pt;
  margin-bottom: 5pt;
}

div.caption
{
  background: lavender;
  font-weight: bold;
  padding: 5pt;
  width: 300pt;
  margin-top: 10pt;
}

div.result
{
  background: ivory;
  border-style: inset;
  border-color: gold;
  padding: 10pt;
  margin-top: 10pt;
  margin-bottom: 10pt;
}

span.caption
{
  background: lavender;
  font-weight: bold;
}

pre.program
{
  background-color: gainsboro;
  font-family: monospace;
  padding: 3pt;
  margin-right: 5pt;
  font-size: 75%;
}

pre.program em
{
  color: red;
  font-style: normal;
}

pre.program strong
{
  color: red;
  background-color: yellow;
  font-style: normal;
}

pre.program span.keyword
{
  color: Blue;
  font-style: normal;
}

pre.program span.primitive
{
  color: Green;
  font-style: normal;
}

pre.program span.comment
{
  color: magenta;
  background-color: gainsboro;
  font-style: normal;
}

pre.program span.quote
{
  color: OrangeRed;
  font-style: normal;
}


pre.program span.class
{
  color: darkcyan;
  font-style: normal;
}

pre.program span.constant
{
  color: blueviolet;
  font-style: normal;
}

pre.program span.variable
{
  color: DarkGoldenrod;
  font-style: normal;
}

var
{
  color: green;
  font-style: italic;
}

tt
{
  font-family: courier, monospace;
}

code
{
  font-family: helvetica, sans-serif;
  font-weight: bold;
}

pre.console
{
  background-color: black;
  color: white;
  font-family: courier, monospace;
  padding: 5pt;
  margin-right: 30pt;
}

pre.console kbd
{
  font-family: courier, monospace;
  color: yellow;
}

span.toggle
{
  font-weight: bold;
}

div.figure
{
  text-align: center;
}

img.figure
{
  margin: 10pt;
}

div.equation
{
  margin-top: 1em;
  margin-right: 30pt;
  margin-bottom: 1em;
  padding-top: 1em;
  padding-left: 4em;
  padding-bottom: 1em;
  background: powderblue;
}

div.equation table
{
}

div.equation table td.padding
{
  width:2em
}

td.equationNumber
{
  width: 4em;
  text-align: right;
}