/*
	article-bs.css ... Style for SmartDoc
	BIT SCOPE Co.,Ltd.
	Dec. 13 2000
*/

/**
	<< HTML text data >>
*/
body {
/*
	line-height: 150%;
	background: #e4e8dc;
	color: #666600;
*/
	line-height: 130%;
  background-color: #FFE;
  font-family: "Verdana", "Arial", "Geneva", "Helvetica", sans-serif;
}

p {
	text-align: justify;
	text-indent: 1em;
}

h1 {
}

h1.title {
/*	color: #663333;	*/
/*	background: #ffffcc;	*/
/*	border-color: #666600;	*/
	text-align: left;
	line-height: 110%;
	padding: 10pt;
	margin: 20px 0 10px 0;
	color: #000;
	border-bottom: solid #666 2px;

}

h1.part {
	color: black;
	background: #fff0f0;
	padding: 10pt;
}

h1.chapter {
/*	color: black;	*/
	background: white;
	margin-top: 2em;
	margin-bottom: 1.5em;
	text-align: left;
	padding: 15pt;
}

h2 {
	color:            #333;
	border-color:     #AA7;
	border-style:     solid;
	border-width:     1px 2px 2px 1px;
	padding:          10px;
	margin:           2em 0 0 0;
	font-size:        20pt;
	background:       #f0f0e0;
	line-height:      110%;
}

h3 {
	color:            #333;
	font-size:        16pt;
	font-weight:      bold;
	margin:           30px 0 10px 0;
	padding:          3px 0 3px 7px;
	line-height:      110%;
	border-color:     #CC9;
	border-style:     solid;
	border-width:     0 0 0 18px;
	background:       #FAFAD2;
}

h4 {
	color:              #333;
	font-size:          14pt;
	font-weight:        bold;
	margin:             20px 0 5px 10px;
	padding:            3px 0 3px 7px;
	line-height:        110%;
	border-color:       #BC8F8F;
	border-style:       solid;
	border-width:       0 0 0 18px;
	background:         #FFEFD5;
}

dfn {
	color: #6600cc;
	font-style:normal;
	font-weight:bold;
}

code {
	font-size:	100%;
	font-family: 	Arial, helvetica, sans-serif;
	font-weight: 	bold;
	font-style:	normal;
	color:		darkblue;
}

em {
	color: #8888ff;
	font-style:normal;
	font-weight:bold;
}

strong {
	color: #ff3300;
	font-style:normal;
	font-weight:bold;
}

li p {
	text-indent: 0pt;
}

dd {
	margin-left:30px;
}
dt {
	margin:10px 0 5px 15px;
	padding: 0 0 0 15px;
	color: #000;
	font-weight:bold;
	border-bottom: dashed #CC9 1px;
}

th p {
	text-indent: 0pt;
}

td p {
	text-indent: 0pt;
}

/** #############################
	<< TABLE data >>
*/

div.table {
  margin: 20px auto;
}

table.data {
/*
	margin-top: 10pt;
	margin-bottom: 10pt;
	background-color: MediumSeaGreen;
	border: 1pt solid OliveDrab;
  border-collapse : collapse;
*/
  border-width : 1px 0 0 1px;
  border-style : solid;
  border-color : #AAA;
  margin: 0 auto;
  font-size    : 12pt;
  padding: 0;
}

table.data caption {
  margin: 0 auto;
  text-align: left;
  caption-side: top;
/*  font-size: smaller;*/
  padding: 0 0 3px 0;
}

table.data th {
  border-width : 0 1px 1px 0 ;
  border-style : solid ;
  border-color : #AAA ;
  padding : 2px;
  background-color: #DDC;
  margin: 0;
}

table.data td {
  border-width : 0 1px 1px 0 ;
  border-style : solid ;
  border-color : #AAA ;
  padding : 5px;
  font-size: 11pt;
}

table.data td.key {
	background-color: salmon;
	font-weight: bold;
}

table tr.odd {
/*
  background-color: #f0f0e0;
*/
  background-color: #f8f8e4;
}

table tr.even {
/*
  background-color: #f8f8e4;
*/
  background-color: #FFF;
}

/** #############################
	<< MENU data >>
*/

table.menu {
	margin-top: 10pt;
	margin-bottom: 10pt;
	text-align: center;
}

table.menu caption {
	background-color: #fffff8;
	font-weight: bold;
}

table.menu th {
	color: yellow;
	background-color: lightseagreen;
}

table.menu td {
	color: Maroon;
	background-color: antiquewhite;
	font-weight: bold;
	padding: 10pt;
}

table.menu td.key {
	font-size: x-large;
	color: RoyalBlue;
	background-color: LightGreen;
	font-weight: bold;
	padding: 10pt;
}

table.menu td.key A:link {
	color: RoyalBlue;
}

table.menu td.key A:visited {
	color: RoyalBlue;
}

/** #############################
	<< NAVIGATOR data >>
*/

table.navigator {
}

table.navigator td {
	text-align: center;
	font-weight: bold;
}

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

div.navigatortop {
	background: #f8f8ff;
	border: 1pt solid blue;
	text-align: center;
	margin-bottom: 10pt;
}

div.navigatorbottom {
	background: #f8f8ff;
	border: 1pt solid blue;
	text-align: center;
	margin-top: 10pt;
}

/** #############################
	<< LANGUAGE data >>
*/

table.languages {
	margin-bottom: 0pt;
	margin-top: 0pt;
	font-size: x-small;
}

table.languages td.current {
}

table.languages td.other {
	background-color: Orange;
}

div.languages {
	text-align: right;
}

/** #############################
	<< TABLE OF CONTENTS data >>
*/

div.toc {
/*
	background-color: white;
	padding: 10pt;
	border: thin outset #d8e0d0;
	margin-top: 10pt;
	margin-bottom: 30pt;
	margin-left: 30pt;
	margin-right: 30pt;
*/
}

div.titletoc {
	background-color: #f8f8f8;
	padding: 10pt;
	border-style: solid;
	border-color: gray;
	margin-top: 10pt;
	margin-bottom: 30pt;
}


/**  #############################
	TITLE data
*/

div.title {
	text-align: center;
}

div.date {
	text-align: right;
	font-size: 10pt;
}

div.author {
	text-align: right;
	font-weight: bold;
	font-size: 10pt;
}

div.email {
	text-align: center;
}

div.hp {
	text-align: center;
}

div.summary {
/*	color: #663333;			*/
/*	background: cornsilk;	*/
/*	border-style: inset;	*/
/*	border-color: #ffffcc;	*/
	margin: 10px 10px;
	padding: 0px;
}

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

div.footnote {
  margin : 30px 0 40px 20px;
  width : 80%;
  font-size : 10pt;
  border-width : 1px 0px 0px 0px;
  border-style : solid;
  border-color : #666;
  color: #333;
}

div.fyi {
	color: #666;
	background: #FFF;
	padding: 0pt;
	margin: 10px 20px;
	border: #DCDCDC solid 1px;
}

div.fyi div.title {
	background: #F5F5F5;
	font-weight: bold;
	padding: 2px 8px;
	margin-bottom: 2px;
	text-align: left;
}

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

div.caption {
/*
	border-style: 	solid;
	border-top-width: 2px;
	border-left-width: 2px;
	border-bottom-width: 0px;
	border-right-width: 0px;
	border-color: 	#60ff60;
	background: #ffffcc;
*/
	font-size: 80%;
	padding: 3px;
	margin-left: 20px;
	margin-top: 10pt;
/*
	color:#003333;
	background: Honeydew;
*/
  background-color: #ddc;
  border-width : 1px 1px 0px 1px;
  border-style : solid;
  border-color : #aaaaaa;
}

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

/** #############################
	PROGRAM data
*/

pre.program {
	margin-left:	20px;
/*
	margin-right:	3em;
	color:black;
*/
	color:#003333;
/*	background-color: cornsilk;	*/
/*	font-family: courier, monospace;	*/
/*	padding: 5pt;	*/
/*	border-color: 	gray;	*/
/*	border-style: 	solid;	*/
/*
	border: thin outset #d8e0d0;
	background: #d8e0d0;
*/
	line-height: 120%;
	padding: 0.5em;

  background-color: #fff;
  border: 1px solid #aaaaaa;
  white-space: pre; /* Netscape 4.x needs it */
}

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

span.keyword {
	font-style: normal;
	color: #e033e0;
}

span.comment {
	color: red;
	font-style: italic;
}

span.primitive {
	font-style: normal;
	color: green;
}

span.quote {
	font-style: normal;
	color: #808000;
}

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

tt {
	font-family: courier, monospace;
}

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

/** #############################
	CONSOLE data
*/

pre.console {
/*
	margin-left:	3em;
	margin-right:	3em;
*/
	margin-left: 20px;
	background-color: #333333;
	color: white;
/*
	border: thin outset #d8e0d0;
*/
	font-family: courier, monospace;
	padding: 5pt;
}

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

/** #############################
	FIGURE data
*/

span.toggle {
	font-weight: bold;
}

div.figure {
	text-align: center;
}

img.figure {
	margin: 10pt;
}

/**  #############################
	ORIGIRNAL class
*/
.maxwidth {
	align:center;
	width:96%;
	border:0pt;
}


/* 2001.04.19 add-s suzu*/
pre.explanation {
	margin-left:	3em;
	margin-right:	3em;

	color:#333300;
	line-height: 100%;
	background: #d8e0d0 ;
	padding: 0.5em;
/*
	border: thin outset #d8e0d0 ;
*/
}

/* 2001.04.19 add-e suzu*/
/*
A:link { 
	color: #ff3300;
}
A:visited {
	color: #ff9900;
}
A:hover{
	color: #ffff00;
};
*/
a:link    { color: #44f; }
a:visited { color: #72f; }
a:active  { color: #f33; }