body
{
	background-color : #EDF4FF;
	margin-left : 0px;
	margin-top : 0px;
}

p,li,textarea
{
	font-family : Arial, Helvetica, sans-serif;
	font-size : 80%;
	margin-left : 5;
	color : #234792;
}
.p_color
{
	color : #234792;
}
.grey_color
{
	color : #5D5D5D;
}


H1,H2,H3,H4
{
	font-family : Arial, Helvetica, sans-serif;
	margin-left : 5;
	color : #5D5D5D;
}

H1
{
	font-size : 100%;
}
H2
{
	font-size : 90%;
}
H3
{
	font-size : 80%;
}
H4
{
	font-size : 70%;
}


A, A:visited
{
	color: #468EF2;
}

A:hover
{
	color: #94D53C;
}


INPUT,SELECT
{
	font-family : Arial, Helvetica, sans-serif;
	font-size : 80%;
}
SELECT
{
	font-family : Arial, Helvetica, sans-serif;
}

.footer
{
	font-size: 70%;
	color : #5D5D5D;
}

.HEADER
{
	font-size : x-large;
	font-style : italic;
	font-weight : bold;
	color: #2C5BBA;
}

ul,ol,li
{
	margin-bottom: 2px;
	margin-top: 2px;
}
.MARK
{
	color : Red;
	font-weight : bold;
}
.address
{
	font-family : serif;
	font-weight : bold;
}



A.topic, A.topic:hover, A.topic:visited
{
	color: #5D5D5D;
	font-weight : bold;
	font-size : 110%;
}



A.drop_menu:hover
{
	color: #2C5BBA;
	text-decoration: none;
}

A.drop_menu:visited
{
	color: #343434;
	text-decoration: none;
}

.drop_menu
{
	color: #343434;
	text-decoration: none;
}
.drop_menu_on
{
	color: #2C5BBA;
	text-decoration: none;
}




A.second_menu,A.second_menu:hover,A.second_menu:visited
{
	font-family : sans-serif;
	color: #2C5BBA;
	text-decoration: none;
}


.main_menu
{
	font-size : 90%;
	font-family : sans-serif;
	font-weight : bold;
	color: #2C5BBA;
	text-decoration: none;
	background-color: White;
}
A.main_menu:hover,A.main_menu:visited
{
	color: #2C5BBA;
	text-decoration: none;
}


a.path, a.path:hover, a.path:visited
{
	font-size : 100%;
	font-family : sans-serif;
	color: #5D5D5D;
}


.path
{
	font-size : 80%;
	font-family : sans-serif;
	color: #5D5D5D;
}

.topic
{
	color: #5D5D5D;
	text-decoration: none;
}

.title
{
	font-weight : bold;
}

.hidden_area
{
	display : none;

}
.visible_area
{
	display : block;
}




.NOTE
{
	color: #709080;
	border-top-style: solid;
	border-top-width: 1px;
	border-bottom-style: solid;
	border-bottom-width: 1px;
}
.PARAM
{
    COLOR: blue;
    CURSOR: help
}
.PRELIMINARY
{
	color : Red;
	font-size: x-small;
	margin-left : 2em;
}
.PropertyTable
{
	border:0; 
	padding: 2;
}
.REF
{
	background-color : White;
	border-bottom-style : solid;
	border-bottom-color : Black;
	border-top : thin;
	text-decoration : none;
}
.relTopic
{
	background-color: #E0F0FF;
	color : #202090;
	width:250;
	padding-left:2 px;
	padding-right:2 px;
	padding-top:2 px;
	padding-bottom:2 px;
}
A.relTopic,A:visited.relTopic
{
	color : #000080;
	margin-bottom: 0;
}

A.deadLink,A:visited.deadLink,A:hover.deadLink
{
	color : #5D5D5D;
	text-decoration : none;
	border-bottom-width : 1px;
	border-bottom-color : #5D5D5D;
	border-bottom-style : dashed;
}


.SAMPLE
{
	background-color: #CCFFFF;
	font-size: x-small;
	font-family: monospace;
	margin-left: 2em;
}
.SmallTable
{
	font-size: x-small;
	font-family: sans-serif;
}
.SYNTAX
{
	BACKGROUND-COLOR: #f0f0f0;
	font: monospace;
	margin-left: 2em;
}


.book_name_gray, .book_name_violet, .book_name_yellow, .book_name_gray_green, .book_name_white, .book_name_brown, .book_name_red, .book_name_blue, .book_name_green
{
	font-style: italic;
}


.book_name_gray
{
	BACKGROUND-COLOR: #DDDDDD;
	color: #000000;
}
.book_name_gray_dark
{
	BACKGROUND-COLOR: #000000;
}
.book_name_violet
{
	BACKGROUND-COLOR: #EEE3F4;
	color: #653269;
}
.book_name_violet_dark
{
	BACKGROUND-COLOR: #653269;
}
.book_name_yellow
{
	BACKGROUND-COLOR: #FFFFCC;
	color: #FFCC33;
}
.book_name_yellow_dark
{
	BACKGROUND-COLOR: #FFCC33;
}

.book_name_gray_green
{
	BACKGROUND-COLOR: #E1E8E7;
	color: #1E6666;
}
.book_name_gray_green_dark
{
	BACKGROUND-COLOR: #1E6666;
}
.book_name_white
{
	BACKGROUND-COLOR: #FFFFFF;
	color: #000000;
}
.book_name_white_dark
{
	BACKGROUND-COLOR: #000000;
}
.book_name_brown
{
	BACKGROUND-COLOR: #FFDBB3;
	color: #CB580C;
}
.book_name_brown_dark
{
	BACKGROUND-COLOR: #CB580C;
}
.book_name_red
{
	BACKGROUND-COLOR: #FFDFDF;
	color: #C60000;
}
.book_name_red_dark
{
	BACKGROUND-COLOR: #C60000;
}
.book_name_blue
{
	BACKGROUND-COLOR: #E3F0F9;
	color: #223D82;
}
.book_name_blue_dark
{
	BACKGROUND-COLOR: #223D82;
}
.book_name_green
{
	BACKGROUND-COLOR: #E7F5E7;
	color: #074905;
}
.book_name_green_dark
{
	BACKGROUND-COLOR: #074905;
}