/* HTML StyleSheet for DocBook */
/* Copyright (c) 2001, InterSystems Corp. ALL RIGHTS RESERVED. */

/* general styles */

BODY 		{ color: black; background: white; 
				margin: 0px;
				padding: 0px;
				font-family: verdana,arial,helvetica,sans-serif;
			 }

DIV.draft	{ background-image: url(draft.jpg); }
DIV.broken	{ background-image: url(draft2.jpg); }

BODY.Dialog	{ color: black; background: silver; 
				font-family: Verdana,Arial,Helvetica,sans-serif;
				margin: 10px; }
				
PRE.normal  { font-family: Verdana,Arial,Helvetica,sans-serif; }

PRE.monospaced { font-family: courier,monospace; }

/* inline styles */

SPAN.citetitle	{ font-style: italic; }
SPAN.classname	{ font-weight: bold; color: blue; }
SPAN.computeroutput	{ font-family: courier,monospace; }
SPAN.constant	{ font-style: italic; }
SPAN.command	{ font-weight: bold; }
SPAN.emphasis	{ font-style: italic; }
SPAN.filename	{ font-style: italic; }
SPAN.firstterm  { font-weight: bold; background: #E0E0E0; }
SPAN.function	{ font-weight: bold; }
SPAN.guibutton	{ font-weight: bold; color: green; }
SPAN.guilabel	{ font-weight: bold; color: green; }
SPAN.guimenu	{ font-weight: bold; color: green; }
SPAN.guimenuitem { font-weight: bold; color: green; }
SPAN.guisubmenu	{ font-weight: bold; color: green; }
SPAN.interface	{ font-weight: bold; }
SPAN.indexterm	{ display: none; }
SPAN.primary	{ display: none; }
SPAN.keycap		{ font-weight: bold; }

SPAN.literal	{ font-family: courier,monospace; font-weight: bold; }
SPAN.methodname	{ font-weight: bold; }
SPAN.parameter	{ font-style: italic; }
SPAN.property	{ font-style: italic; }
SPAN.quote		{  }
SPAN.remark		{ font-weight: bold; font-size: 1.3em; }
SPAN.superscript { vertical-align: super; font-size: 0.7em; color: blue;}
SPAN.systemitem { font-family: courier,monospace; color: black; font-weight: bold; }
SPAN.varname	{ font-style: italic; }
SPAN.userinput	{ font-family: courier,monospace; font-weight: bold; }

/* "hidden" remarks */
/* SPAN.hidden		{ color: red; display: none; } */

/* used by KNBASE */
SPAN.sourcetime	{ font-size: 0.8em; color: red; }

/* used for security-related warnings */
SPAN.securityhome { font-weight: bold; color: blue; }

/* syntax coloring styles */

/* COS */
SPAN.COS_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; }
SPAN.COS_01 {}
SPAN.COS_02 {}
SPAN.COS_03 {color: #ff0000; }
SPAN.COS_04 {color: #000000; }
SPAN.COS_05 {color: #0000ff; }
SPAN.COS_06 {color: #008000; }
SPAN.COS_07 {color: #008000; }
SPAN.COS_08 {color: #000000; }
SPAN.COS_09 {color: #800080; }
SPAN.COS_0A {color: #0000ff; }
SPAN.COS_0B {color: #0000ff; }
SPAN.COS_0C {color: #0000ff; }
SPAN.COS_0D {color: #000000; }
SPAN.COS_0E {color: #000000; }
SPAN.COS_0F {color: #0000ff; }
SPAN.COS_10 {color: #000000; }
SPAN.COS_11 {color: #0000ff; }
SPAN.COS_12 {color: #000000; }
SPAN.COS_13 {color: #000000; }
SPAN.COS_14 {color: #000000; }
SPAN.COS_15 {color: #000000; }
SPAN.COS_16 {color: #000000; }
SPAN.COS_17 {color: #000000; }
SPAN.COS_18 {color: #000000; }
SPAN.COS_19 {color: #000000; }
SPAN.COS_1A {color: #000000; }
SPAN.COS_1B {color: #0000ff; }
SPAN.COS_1C {color: #0000ff; }
SPAN.COS_1D {color: #800080; }
SPAN.COS_1E {color: #0000ff; }
SPAN.COS_1F {color: #008080; }
SPAN.COS_20 {color: #000080; }
SPAN.COS_21 {color: #000000; }
SPAN.COS_22 {}
SPAN.COS_23 {color: #0000ff; }
SPAN.COS_24 {color: #0000ff; }
SPAN.COS_25 {color: #000080; }
SPAN.COS_26 {}
SPAN.COS_27 {}
SPAN.COS_28 {}
SPAN.COS_29 {color: #808000; }
SPAN.COS_2A {color: #800080; }
SPAN.COS_2B {color: #800080; }


/* HTML / CSP  */
SPAN.HTML_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; }
SPAN.HTML_01 {}
SPAN.HTML_02 {}
SPAN.HTML_03 {color: #000000; }
SPAN.HTML_04 {color: #008000; }
SPAN.HTML_05 {color: #000000; }
SPAN.HTML_06 {color: #000080; }
SPAN.HTML_07 {color: #000080; }
SPAN.HTML_08 {color: #000080; }
SPAN.HTML_09 {color: #000000; }
SPAN.HTML_0A {color: #800080; }
SPAN.HTML_0B {color: #804040; }
SPAN.HTML_0C {color: #000000; }

/* XML  */
SPAN.XML_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; }
SPAN.XML_01 {} // white space
SPAN.XML_02 {}
SPAN.XML_03 {color: #000000; }
SPAN.XML_04 {color: #008000; }
SPAN.XML_05 {color: #804040; }
SPAN.XML_06 {color: #000080; }
SPAN.XML_07 {color: #000080; }
SPAN.XML_08 {color: #000080; }
SPAN.XML_09 {color: #800080; }
SPAN.XML_0B {color: #804040; }
SPAN.XML_0C {color: #000000; }
SPAN.XML_0E {color: #008080; }	/* PI */
SPAN.XML_0F {color: #008000; }	/* comment */
SPAN.XML_11 {color: #800080; }	/* attribute */

/* BAS */
SPAN.BAS_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; }
SPAN.BAS_01 {}
SPAN.BAS_02 {}
SPAN.BAS_03 {color: #000000; }
SPAN.BAS_04 {color: #000000; }
SPAN.BAS_05 {color: #000080; }
SPAN.BAS_06 {color: #008000; }
SPAN.BAS_07 {color: #000080; }
SPAN.BAS_08 {color: #000000; }
SPAN.BAS_09 {color: #0000ff; }
SPAN.BAS_0A {color: #000000; }
SPAN.BAS_0B {color: #000000; }
SPAN.BAS_0C {color: #000000; }
SPAN.BAS_0D {color: #0000ff; }
SPAN.BAS_0E {color: #000000; }
SPAN.BAS_0F {color: #008080; }
SPAN.BAS_10 {color: #000000; }
SPAN.BAS_11 {color: #0000ff; }
SPAN.BAS_12 {color: #0000ff; }
SPAN.BAS_13 {color: #000000; }
SPAN.BAS_14 {color: #000000; }
SPAN.BAS_15 {color: #008000; }
SPAN.BAS_16 {color: #108060; } /* string literal */
SPAN.BAS_17 {color: #0000ff; }
SPAN.BAS_18 {color: #ff0000; }
SPAN.BAS_19 {color: #000000; }
SPAN.BAS_1A {color: #000000; }

/* CLS */
SPAN.CLS_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; }
SPAN.CLS_01 { }
SPAN.CLS_02 { }
SPAN.CLS_03 { }
SPAN.CLS_04 {color: #000080; }	/* keyword */
SPAN.CLS_05 {color: #2200FF; }  /* classname */
SPAN.CLS_06 {color: #108020; }	/* comment */
SPAN.CLS_07 {color: #108060; }	/* description */

SPAN.CLS_0A {color: #008080; }	/* string literal */

SPAN.CLS_0B {color: #408020; }  /* classmember */
SPAN.CLS_0D {color: #000000; }  /* , */

/* JAVA */
SPAN.JAVA_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; } /* error */
SPAN.JAVA_01 { }	/* white space */
SPAN.JAVA_02 { }
SPAN.JAVA_03 { }
SPAN.JAVA_04 {color: #000011; }	/* delimiter */
SPAN.JAVA_05 {color: #2200FF; font-weight: bold; }	/* classname */
SPAN.JAVA_06 { }	/*  */
SPAN.JAVA_07 {color: #00A008; }	/* string literal */
SPAN.JAVA_08 {color: #108020; }	/* comments */
SPAN.JAVA_09 {color: #008080; }	/*  */

SPAN.JAVA_0A {color: #008080; }  /* integer literal */
SPAN.JAVA_0B {color: #008080; }	/*  */
SPAN.JAVA_0C {color: #008080; }	/*  */
SPAN.JAVA_0D {color: #008080; }  /* float literal */

SPAN.JAVA_0D {color: #0000FF; }  /* identifier */
SPAN.JAVA_0E {color: #0000FF; }  /* interface */
SPAN.JAVA_0F {color: #002200; }  /* operator */

SPAN.JAVA_10 {color: #208020; }	/* definition keyword */
SPAN.JAVA_11 {color: #404040; }	/* statement keyword */
SPAN.JAVA_13 {color: #404040; }	/* native type ? */
SPAN.JAVA_14 {color: #404080; }	/* object keyword */

/* JAVASCRIPT */
SPAN.JAVASCRIPT_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; } /* error */
SPAN.JAVASCRIPT_01 { }	/* white space */
SPAN.JAVASCRIPT_02 { }
SPAN.JAVASCRIPT_03 { }
SPAN.JAVASCRIPT_04 {color: #000011; } /* ; */
SPAN.JAVASCRIPT_05 {color: #00A008; }	/* string literal */
SPAN.JAVASCRIPT_06 {color: #108020; }	/* comment */
SPAN.JAVASCRIPT_07 {color: #008080; }	/* integer literal */
SPAN.JAVASCRIPT_08 {color: #108020; }
SPAN.JAVASCRIPT_09 {color: #008080; }	/*  */

SPAN.JAVASCRIPT_0A {color: #008080; }  /* integer literal */
SPAN.JAVASCRIPT_0B {color: #008080; }	/*  */
SPAN.JAVASCRIPT_0C {color: #008080; }	/*  */
SPAN.JAVASCRIPT_0D {color: #008080; }

SPAN.JAVASCRIPT_0D {color: #0000FF; }
SPAN.JAVASCRIPT_0E {color: #0000FF; }  /* identifier */
SPAN.JAVASCRIPT_0F {color: #002200; }  /* operator */

SPAN.JAVASCRIPT_10 {color: #208020; }	/* function */
SPAN.JAVASCRIPT_11 {color: #404040; }	/* statement keyword */
SPAN.JAVASCRIPT_13 {color: #404040; }
SPAN.JAVASCRIPT_14 {color: #404080; }

/* SQL */
SPAN.SQL_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; } /* error */
SPAN.SQL_01 { } /* whitespace */
SPAN.SQL_02 { }
SPAN.SQL_03 { }
SPAN.SQL_04 {color: #00A008; }	/* string */
SPAN.SQL_05 {}
SPAN.SQL_06 { }
SPAN.SQL_07 { }
SPAN.SQL_08 {color: #0000FF; }	/* indentifier */
SPAN.SQL_09 { }
SPAN.SQL_10 { }
SPAN.SQL_0C {color: #208020; } /* operator */
SPAN.SQL_11 {color: #408020; } /* operation (SELECT) */
SPAN.SQL_12 {color: #408030; } /* keyword */


/* color-only langs  */
SPAN.SPP_00 {color: #FF0000; bgcolor: #FFFFFF; text-decoration: underline; }
SPAN.SPP_01 {}
SPAN.SPP_02 {}
SPAN.SPP_03 {color: #0000ff; }
SPAN.SPP_04 {color: #000080; }
SPAN.SPP_05 {color: #000080; }
SPAN.SPP_06 {color: #000080; }
SPAN.SPP_07 {color: #000080; }
SPAN.SPP_08 {color: #000080; }
SPAN.SPP_09 {color: #0000ff; }
SPAN.SPP_0A {color: #000000; }
SPAN.SPP_0B {color: #000000; }
SPAN.SPP_0C {color: #008080; }
SPAN.SPP_0D {color: #0080d0; }
SPAN.SPP_0E {color: #ff0000; }
SPAN.SPP_0F {color: #000000; }
SPAN.SPP_10 {color: #808080; }
SPAN.SPP_11 {color: #008000; }


/* feedback link */
A.FEEDBACK	{ font-family: WebDings,Zapf Dingbats; 
			font-size: 1em; text-decoration: none; color: silver; 
			vertical-align: super;
			border: none;
			}


/* title bar */

TABLE.Banner { background: #5290EC; padding: 0px; margin: 0px; border-bottom: black solid 1px; }


TABLE.ClassBanner { color: white; background: #5290EC;
			font-family: Verdana,Arial,Helvetica,sans-serif; 
			}

TABLE.Label	{ color: black; background: #CBE6EB; font-size: 1em; 
			font-family: Verdana,Arial,Helvetica,sans-serif; }


SPAN.SearchWord { color: black; background: yellow; font-weight: bold; }

TR.Category		{ font-family: Verdana,Arial,Helvetica,sans-serif;
					 background: #CBE6EB; color: black; }

TD.BannerLogo { padding-left: 2px; }

TR.TitleRow 	{ background: blue; color: white; }
TR.DarkRow 	{ background: #DDDDDD; }
TR.LightRow 	{ background: #FFFFFF; }

TABLE.Paragraph		{ 	padding: 0px;	margin-bottom: 0px; 	 }

/* search window */



DIV.SearchForm		{	font-family: Verdana,Arial,Helvetica,sans-serif;
					}

INPUT.SearchInput	{	font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 0.8em; }

INPUT.SearchButton	{	font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 0.8em; }

INPUT.SearchRadio	{	font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 0.8em; }

TABLE.SearchForm	{ 	background: #DDEEFF;
						font-size: 1.0em;
						font-family: Verdana,Arial,Helvetica,sans-serif;
						border-color: black; border-width: 1px; border-style: solid;
						padding: 2px;
					}

DIV.Modified	{ 	background: yellow; color: black;
					border-color: black; border-width: 1px; border-style: solid;
				 }


TABLE.SearchResultTable	{ 	background: white; 
					border-color: #AAAAAA; border-width: 1px; border-style: solid;
					margin-left: 0px; margin-top: 20px;
				}

A.SearchResult {		font-size: 0.7em; 
					font-weight: bold;
					color: blue; text-decoration: none;
				}

A.SearchResultCurr {		font-size: 0.8em; 
					font-weight: bold;
					color: white; text-decoration: none;
				}

TD.SearchResult	{ 	background: white; 
					border-color: #AAAAAA; border-width: 1px; border-style: solid;
					padding-left: 2px;
					padding-right: 2px;
				}

TD.SearchResultCurr	{ 	background: blue; 
					border-color: #AAAAAA; border-width: 1px; border-style: solid;
					padding-left: 2px;
					padding-right: 2px;
				}



TD.SearchDarkRow 	{ background: #FFDDCC;
							border-top: gray solid 1px;
							border-bottom: black solid 1px; }
TD.SearchLightRow 	{ background: #DDEEFF;
							border-top: gray solid 1px;
							border-bottom: black solid 1px; }


/* tables */


TABLE.CALSTable	{ 	background: white; 
					font-family: Verdana,Arial,Helvetica,sans-serif;
					border-color: black; 
					border-width: 1px; 
					border-style: solid;
					}

TABLE.CALSTable	TH { 	background: #E0E0E0; 
						text-align: left;
						font-family: Verdana,Arial,Helvetica,sans-serif;
						border-bottom: black solid 1px;
					}

TABLE.CALSTable	TH.Frame-all {
						border-right: black solid 1px;
					}

TABLE.CALSTable	TH.Frame-sides {
						border-right: black solid 1px;
					}


TABLE.CALSTable	TD {  background: #F0F0FF; 
                      margin-bottom: 10px; 
                      margin-top: 10px; }


TABLE.CALSTable	TD.Frame-all { 	border-bottom: gray solid 1px;
								border-right: gray solid 1px;
                                margin-bottom: 10px; 
                                margin_top: 10px; }

TABLE.CALSTable	TD.Frame-sides { border-right: gray solid 1px; 
                                 margin-bottom: 10px;  
                                 margin_top: 10px; }

TABLE.CALSTable	TD.Frame-bottom { border-bottom: gray solid 1px; 
                                  margin-bottom: 10px;  
                                  margin_top: 10px; }

TABLE.CALSTable	TD DIV
          {  margin-bottom: 10px;
             margin-top: 10px;
		     line-height: 125%;
			 margin-left: 0px;
			 margin-right: 0px;
			 font-family: Verdana,Arial,sans-serif;
		   }

DIV.UserComment	{ background: yellow; color: red;
			font-family: Verdana,Arial,Helvetica,sans-serif;
			font-size: 0.8em;
			line-height: 125%;
			border-color: black; border-width: 1px; border-style: solid;
			padding: 5px;
		 }


/* menu buttons */

TABLE.MainMenu	{ margin: 1px; padding: 0px; 
				background: #BB0000;
				border-color: black; border-width: 1px; border-style: solid; }

TABLE.MenuControl	{ margin: 1px; padding: 2px; }


DIV.MenuChoice	{  color: white;
				font-family: sans-serif; font-size: 12pt; margin: 0px;
				padding: 0px;	 }

TD.MenuChoice	{ padding: 0px; margin: 0px; }

TD.ToolBar	{	padding: 0px; margin: 0px; }


A.MenuChoice	{ font-family: Verdana,Arial,Helvetica,sans-serif; 
			font-size: 8pt; font-weight: bold; 
			text-decoration: none; color: white; 
			padding: 0px; margin: 0px; }


SPAN.MenuChoice	{ font-family: Verdana,Arial,Helvetica,sans-serif; 
			font-size: 8pt; font-weight: bold; 
			text-decoration: none; color: white; 
			padding: 0px; margin: 0px; }


/* Menu search */
INPUT.QuickSearch { font-family: Verdana,Arial,Helvetica,sans-serif;
					font-size: 8pt;
					color: blue;
				 }

SELECT.QuickLink { font-family: Verdana,Arial,Helvetica,sans-serif;
					font-size: 8pt; width: 200px;
					color: blue;
				 }


A.Link			{ }
A.ClassLink		{ color: black; font-weight: bold; text-decoration: none; }

SPAN.classname A { color: blue; font-weight: bold; }


/* Comment table */

TD.SMALL		{ color: blue; font-family: Verdana,Arial,sans-serif; font-size: 0.8em; }

/* Index page styles */

SPAN.TOCrefpurpose	{ color: dark-gray; 	font-style: normal; font-size: 0.8em; }

LI.IndexEntry	{ list-style-type: disc; }
A.IndexEntry	{ line-height: 150%; 
					color: blue; text-decoration: none; font-size: 1.2em; }


SPAN.IndexSourceTitle	{ color: gray; font-weight: bold; 
						font-style: normal;
					font-size: 1.0em; }

SPAN.IndexSource	{ color: gray; text-decoration: none; 
						font-size: 1.0em; }

TABLE.IndexLetterTable	{ 	background: white; 
					border-color: #AAAAAA; border-width: 1px; border-style: solid;
					margin-left: 40px; margin-top: 0px;
				}

A.IndexLetter {		font-size: 1.4em; 
					font-weight: bold;
					color: blue; text-decoration: none;
					font-family: Courier New,Fixed;
				}

A.IndexLetterCurr {		font-size: 1.4em; 
					font-weight: bold;
					color: white; text-decoration: none;
					font-family: Courier New,Fixed;
				}

TD.IndexLetter	{ 	background: white; 
					border-color: #AAAAAA; border-width: 1px; border-style: solid;
					padding-left: 2px;
					padding-right: 2px;
				}

TD.IndexLetterHi	{ 	background: #FFF0B0; 
					border-color: #AAAAAA; border-width: 2px; border-style: solid;
					padding-left: 15px;
					padding-right: 15px;
					font-size: 2.0em;
				}

TD.IndexLetterCurr	{ 	background: blue; 
					border-color: #AAAAAA; border-width: 1px; border-style: solid;
					font-size: 2.0em;
				}


TD.IndexLetterCurrHi	{ 	background: #FFF0B0; 
					border-color: #AAAAAA; border-width: 2px; border-style: solid;
					padding-left: 25px;
					padding-right: 25px;
					font-size: 2.0em;
				}


/* Table of Contents styles */

DIV.TOC		{ font-family: Verdana,Arial,Helvetica,sans-serif; margin-bottom: 5px; 
			}

/* Home TOC */
A.TOC { font-family: Verdana,Arial,Helvetica,sans-serif;
				text-decoration: none;
				font-size: 1.0em;
				color: blue;
   				margin-bottom: 0px;  
			 }

LI.SetTOC	{ list-style-type: disc; }

TABLE.Home 	{ margin-left: 80px; 
		  margin-right: 80px; }
TR.Home	 	{ }
TR.HomeGap	{ background: #5290EC; font-size: 0.2em; }

TD.HomeTitle	{ background: white; 
			font-family: Verdana,Arial,Helvetica,sans-serif;
			text-decoration: none;
			font-weight: none; 
			font-size: 1.5em;
			color: blue;
			line-height: 120%;
			border-bottom: #AAAAAA solid 1px; 
			border-top: #AAAAAA solid 1px; 
			border-left: white solid 1px; 
			border-right: #AAAAAA solid 1px; 
			padding: 5px;
		}
		
TD.HomeTitleHi	{ background: #FFF0B0; 
			font-family: Verdana,Arial,Helvetica,sans-serif;
			text-decoration: none;
			font-weight: none; 
			font-size: 1.5em;
			color: blue;
			line-height: 120%;
			border: black solid 1px; 
			padding: 5px;
		}

TD.HomeTitle A { text-decoration: none; color: blue;  }

TD.HomeTitleHi A { text-decoration: none; color: blue;  }


TD.HomeSubTitle	{ background: white; color: #8080D0; 
			font-size: 0.9em;
			border-bottom: #AAAAAA solid 1px; 
			border-top: #AAAAAA solid 1px; 
			padding: 5px;
			}

TD.HomeSubTitleHi { background: white; color: black; 
			font-size: 0.9em;
			border-bottom: #AAAAAA solid 1px; 
			border-top: #AAAAAA solid 1px; 
			padding: 5px;
			}


/* Book TOC */
A.TOCChapter { font-family: Verdana,Arial,Helvetica,sans-serif;
				text-decoration: none;
				font-weight: none; 
				font-size: 1.5em;
				color: blue;
				line-height: 120%;
			 }

A.TOCRef { font-family: Verdana,Arial,Helvetica,sans-serif;
				text-decoration: none;
				font-weight: none; 
				font-size: 1.0em;
				color: blue;
				line-height: 130%;
   				margin-bottom: 10px;  
			 }

A.TOCSect1 { font-family: Verdana,Arial,Helvetica,sans-serif;
				text-decoration: none;
				font-weight: none; 
				font-size: 1.0em;
				color: blue;
				line-height: 130%;
   				margin-bottom: 5px;  
			 }

A.TOCSect2 { font-family: Verdana,Arial,Helvetica,sans-serif;
				text-decoration: none;
				font-weight: none; 
				font-size: 0.8em;
				color: blue;
				line-height: 130%;
   				margin-bottom: 5px;  
			 }

MENU LI		{ margin-bottom: 5px; }

MENU A      { font-family: Verdana,Arial,Helvetica,sans-serif;
				font-weight: bold;
				color: blue;
				font-size: 1em; text-decoration: none;
			 }


MENU MENU A	{ font-family: Verdana,Arial,Helvetica,sans-serif;
				font-weight: none;
				color: blue;
				font-size: 0.9em; text-decoration: none;
			 }


TD.Letter	{ color: blue; font-weight: bold; text-decoration: none; font-size: 1.4em; 
				margin-left: 80px;
				background: #E0E0E0; margin-top: 20px; }

SPAN.SearchTitle { color: blue; font-size: 0.8em;
					font-weight: bold;
					font-family: Verdana,Arial,Helvetica,sans-serif;
      				margin-bottom: 5px;  
					 padding: 2px; }

DIV.SearchTitle { color: blue; font-size: 0.8em;
					font-weight: bold;
					font-family: Verdana,Arial,Helvetica,sans-serif;
      				margin-bottom: 5px;
					 padding: 2px; }


DIV.SearchPath	{   font-size: 0.8em; 
					font-family: Verdana,Arial,Helvetica,sans-serif;
					margin-top: 10px;
					margin-bottom: 5px; 
					margin-right: 80px;
					color: green;
					padding: 2px;
				 }



DIV.SearchText	{   font-size: 0.8em; 
					font-family: Verdana,Arial,Helvetica,sans-serif;
					margin-bottom: 5px; 
					margin-right: 80px;
					padding: 2px;
				 }

DIV.SearchUser	{   font-size: 0.7em; 
					font-family: Verdana,Arial,Helvetica,sans-serif;
				 }

DIV.SearchNumber { font-size: 1em; color: red; 
					font-family: Verdana,Arial,Helvetica,sans-serif;
					padding: 2px;
					}

SPAN.SearchNumber { font-size: 1em; color: red; 
					font-weight: bold;
					font-family: Verdana,Arial,Helvetica,sans-serif;
					padding: 2px;
					}

A.SearchLink	{  }


DIV.Footer			{ color: black; font-family: Verdana,Arial,sans-serif; }
TD.Footer			{ font-size: 8pt; font-family: Verdana,Arial,sans-serif; }

DIV.BookTitle		{ color: yellow; font-family: Verdana,Arial,sans-serif; font-size: 0.8em; margin-left: 5px;}

DIV.BookTitle A 	{ text-decoration: none; color: yellow; }

DIV.ChapterTitle	{ color: white; font-family: Verdana,Arial,sans-serif; font-size: 1.6em; 
				margin-bottom: 1px; margin-left: 5px;}

SPAN.ChapterTitleNo	{ color: white; font-family: Verdana,Arial,sans-serif; font-size: 0.7em; }

DIV.para UL	{ margin-top: 0pt; margin-bottom: 0pt; }
DIV.para UL LI	{ margin-top: 0pt; margin-bottom: 0pt; }

UL			{ margin-bottom: 0px; }
OL			{ margin-bottom: 0px; }

/* block styles */
DIV			{   }

DIV.para	{  color: black; margin-bottom: 10px;
				line-height: 125%;
				margin-left: 20px;
				margin-right: 80px;
				font-family: Verdana,Arial,sans-serif;
				}

/* first para in chapter */
DIV.para1	{  color: black; margin-bottom: 10px;
				line-height: 125%;
				margin-left: 20px;
				margin-right: 80px;
				font-family: Verdana,Arial,sans-serif;
				}

DIV.para1:first-letter	{  color: black; 
				font-size: 1.6em;
			}


DIV.formalparatitle	{  color: blue; margin-bottom: 10px;
				line-height: 125%;
				margin-right: 80px;
				font-weight: bold;
				font-family: Verdana,Arial,sans-serif;
				}

DIV.glossentry	{  color: blue; margin-bottom: 10px;
				font-weight: bold;
				line-height: 125%;
				margin-right: 80px;
				font-family: Verdana,Arial,sans-serif; }

DIV.glossdef  { /* margin-left: 60px; */	}

DIV.exampletitle {  color: blue; margin-bottom: 1px; margin-top: 10px;
				font-weight: bold;
				line-height: 125%;
				margin-left: 80px;
				margin-right: 80px;
				font-family: Verdana,Arial,sans-serif; }

DIV.remark	{ 	background: #FFFF00; color: black;
			border-color: #FFFF00; border-width: 1px; border-style: solid;
			font-family: Verdana,Arial,sans-serif; 
			text-align: left; margin-right: 0px; 
			font-size: 1.2em;
			line-height: 125%;
			margin-left: 80px;
			margin-right: 80px;
			margin-top: 10px;
			margin-bottom: 10px; 
			padding-left: 10px; 
			padding-right: 10px
			padding-top: 20px; 
			padding-bottom: 10px;
		 }

DIV.literallayout	{ 	background: white; color: black;
			border-color: white; border-width: 1px; border-style: solid;
			font-family: courier,monospace;
			text-align: left; margin-right: 0px; 
			font-size: 1.2em;
			line-height: 125%;
			margin-left: 20px;
			margin-right: 80px;
			margin-bottom: 10px; 
			padding-left: 10px; padding-top: 0px; padding-bottom: 0px;
		 }

DIV.programlisting	{ 	background: #E0E0E0; color: black;
			border-color: black; border-width: 1px; border-style: solid;
			font-family: courier,monospace;
			text-align: left; margin-right: 0px; 
			font-size: 1.2em;
			line-height: 125%;
			margin-left: 20px;
			margin-right: 80px;
			margin-bottom: 10px; 
			padding-left: 10px; padding-top: 0px; padding-bottom: 0px;
		 }


DIV.set 	{ color: white; background: #5290EC; 
				border-color: black; border-width: 1px; border-style: none;
				font-family: Verdana,Arial,sans-serif;
				font-size: 1.5em; 
				margin-left: 5px;
				margin-right: 5px; margin-top: 20px;
				border-top: black solid 1px;
				margin-bottom: 10px; padding-left: 10px; padding-top: 2px; padding-bottom: 5px;}

DIV.sect1 	{ color: blue;
				border-color: black; border-width: 1px; border-style: none;
				font-family: Verdana,Arial,sans-serif;
				font-size: 1.8em; 
				margin-right: 5px; margin-top: 30px;
				border-top: black solid 1px;
				margin-bottom: 10px; padding-left: 10px; padding-top: 2px; padding-bottom: 5px;}

DIV.sect2 	{ color: blue;
					border-color: black; border-width: 1px; border-style: none;
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.6em; 
	 				margin-right: 80px;
					margin-left: 20px;
					margin-top: 20px;
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}

DIV.sect3 	{ color: blue; 
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.2em; 
	 				margin-right: 80px;
					margin-left: 20px;
					margin-top: 20px;
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}

DIV.sect4 	{ color: black; 
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.0em; font-weight: bold; 
	 				margin-right: 80px;
					margin-left: 20px;
					margin-top: 20px;
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}

DIV.refsect1 	{ background: white; color: blue; 
					border-color: black; border-width: 1px; border-style: none;
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.6em; 
					margin-right: 5px; margin-top: 30px;
					margin-left: 10px;
					border-top: black solid 1px;
					margin-bottom: 10px; padding-left: 10px; padding-top: 2px; padding-bottom: 5px;}

DIV.refsect2 	{ background: white; color: blue; 
					border-color: black; border-width: 1px; border-style: none;
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.2em; 
					margin-left: 20px;
	 				margin-right: 20px;
					margin-right: 0px; margin-top: 10px;
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}

DIV.refsect3 	{ color: black; 
					font-family: Verdana,Arial,sans-serif;
					margin-left: 20px;
	 				margin-right: 20px;
					font-size: 1em; 
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}

DIV.refsynopsisdiv 	{ background: white; color: blue; 
					border-color: black; border-width: 1px; border-style: none;
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.6em; 
					margin-left: 5px;
					margin-right: 5px; margin-top: 30px;
					margin-bottom: 10px; padding-left: 10px; padding-top: 2px; padding-bottom: 5px;}

DIV.synopsis	{ background: #E0E0E0; color: black;
			border-color: black; border-width: 1px; border-style: solid;
			font-family: Verdana,Arial,sans-serif;
			text-align: left; margin-left: 0px; margin-right: 0px; 
			line-height: 125%;
			margin-left: 20px;
			margin-right: 80px;
			margin-bottom: 10px; 
			padding-left: 10px; padding-top: 0px; padding-bottom: 0px;
		 }

DIV.refdescriptor	{background: #5290EC;
			color: white;
			font-family: Verdana,Arial,sans-serif;
			font-size: 1.6em;
			border-top: 3px #A0C0EC solid;
			border-left: 3px #A0C0EC solid;
			border-right: 3px blue solid;
			border-bottom: 3px blue solid;
			margin-left: 10px;
			margin-right: 10px;
			margin-top: 20px;
			margin-bottom: 5px;
			padding-left: 20px;
			padding-top: 5px; 
			padding-bottom: 5px;
			}

DIV.qandaset 	{ color: blue;
				border-color: black; border-width: 1px; border-style: none;
				font-family: Verdana,Arial,sans-serif;
				font-size: 1.8em; 
				margin-left: 5px;
				margin-right: 5px; margin-top: 30px;
				border-top: black solid 1px;
				margin-bottom: 10px; padding-left: 10px; padding-top: 2px; padding-bottom: 5px;}

DIV.qandadiv 	{ color: white; background: #5290EC; 
				border-color: black; border-width: 1px; border-style: none;
				font-family: Verdana,Arial,sans-serif;
				font-size: 1.5em; 
				margin-left: 5px;
				margin-right: 5px; margin-top: 20px;
				border-top: black solid 1px;
				margin-bottom: 10px; padding-left: 10px; padding-top: 2px; padding-bottom: 5px;}

DIV.question 	{ color: blue; 
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.0em; 
	 				margin-right: 80px;
					margin-top: 20px;
					border-top: black solid 1px;
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}

DIV.answer 	{ color: blue; 
					font-family: Verdana,Arial,sans-serif;
					font-size: 1.0em; 
	 				margin-right: 80px;
					margin-top: 20px;
					margin-bottom: 10px; padding-left: 0px; padding-top: 2px; padding-bottom: 5px;}


/* admonitions */
SPAN.caution { color: red; font-weight: bold; }

DIV.caution  { background: #FFDDFF; color: black; 
			font-family: Verdana,Arial,sans-serif;
			border-color: black; border-width: 1px; border-style: solid;
			margin-right: 80px;
			margin-left: 20px;
			margin-bottom: 10px;
			line-height: 125%;
			padding: 3;
		}

DIV.caution DIV.para	{  	margin-left: 0px; }

SPAN.important { color: blue; font-weight: bold; }

DIV.important  { background: #FFDDFF; color: black; 
			font-family: Verdana,Arial,sans-serif;
			border-color: black; border-width: 1px; border-style: solid;
			margin-right: 80px;
			margin-left: 20px;
			margin-bottom: 10px;
			line-height: 125%;
			padding: 3;
		}

DIV.important DIV.para	{  	margin-left: 0px; }

SPAN.note { color: blue; font-weight: bold; }

SPAN.question { color: blue; font-weight: bold; }
SPAN.answer { color: blue; font-weight: bold; }

DIV.note  { background: #FFDDFF; color: black; 
			font-family: Verdana,Arial,sans-serif;
			border-color: black; border-width: 1px; border-style: solid;
			margin-right: 80px;
			margin-left: 20px;
			margin-bottom: 10px;
			line-height: 125%;
			padding: 3;
		}

DIV.note DIV.para	{  	margin-left: 0px; }

SPAN.tip { color: blue; font-weight: bold; }

DIV.tip  { background: #FFDDFF; color: black; 
			font-family: Verdana,Arial,sans-serif;
			border-color: black; border-width: 1px; border-style: solid;
			margin-right: 80px;
			margin-left: 20px;
			margin-bottom: 10px;
			line-height: 125%;
			padding: 3;
		}

DIV.tip DIV.para	{  	margin-left: 0px; }

SPAN.warning { color: red; font-weight: bold; }

DIV.warning  { background: #FFDDFF; color: black; 
			font-family: Verdana,Arial,sans-serif;
			border-color: black; border-width: 1px; border-style: solid;
			margin-right: 80px;
			margin-left: 20px;
			margin-bottom: 10px;
			line-height: 125%;
			padding: 3;
		}

DIV.warning DIV.para	{  	margin-left: 0px; }



/* figures */
DIV.figure_title {	color: blue; 
					font-weight: bold; 
					margin-top: 20px;
					margin-bottom: 10px;
				 	margin-left: 80px;
		 			margin-right: 80px;
					text-align: center;
				}


DIV.figure		{
				 	margin-left: 80px;
		 			margin-right: 80px;
		 			margin-bottom: 20px;
					text-align: center;
				}


/* tables */
DIV.table_title {	color: blue; 
					font-weight: bold; 
					margin-top: 20px;
					margin-bottom: 10px;
				 	margin-left: 80px;
		 			margin-right: 80px;
					text-align: center;
				}


DIV.table		{
				 	margin-left: 80px;
		 			margin-right: 80px;
		 			margin-bottom: 20px;
				}

DIV.informaltable 	{
					margin-left: 80px;
	 				margin-right: 80px;
		 			margin-bottom: 20px;
				}


/* blocks-inside-of-tables styles */

/* block styles */

TD	{  margin-left:  0px; }

TD OL	{  margin-left:  0px; }

TD LI	{  color: black;
				margin-left:  0px;
				margin-right: 0px;
				 }

TD DIV.para	{  margin-bottom: 10px;
				line-height: 125%;
				margin-left:  0px;
				margin-right: 0px;
				font-family: Verdana,Arial,sans-serif; }

TD OL LI DIV.para	{ margin-left:  0px; }

TD UL LI DIV.para	{ margin-left:  0px; }

TD LI DIV.para	{ margin-left:  0px; }

TD DIV.literallayout	{ 	background: white; color: black;
			border-color: white; border-width: 1px; border-style: solid;
			font-family: courier,monospace;
			text-align: left; margin-right: 0px; 
			line-height: 125%;
			margin-left: 0px;
			margin-right: 0px;
			margin-bottom: 10px; 
			padding-left: 10px; padding-top: 0px; padding-bottom: 0px;
		 }
		 
TD DIV.programlisting	{ 	background: #E0E0E0; color: black;
			border-color: black; border-width: 1px; border-style: solid;
			font-family: courier,monospace;
			text-align: left; margin-right: 0px; 
			line-height: 125%;
			margin-left: 0px;
			margin-right: 0px;
			margin-bottom: 10px; 
			padding-left: 10px; padding-top: 0px; padding-bottom: 0px;
		 }



