BODY {
  margin: 0px 50px 50px 55px;
  PADDING-left: 40px;
  padding-right: 40px;
  BACKGROUND: #f9f9ee; 
  COLOR: #000000; 
  FONT: 14px/1.4 'Trebuchet MS',Verdana, Arial, Helvetica, sans-serif;
  line-height: 1.8;
  background-image: url(../images/bg.gif);
  background-repeat: repeat-y;
/*  text-align: justify;*/
}

	
A {
  font-weight: bold;
  font-family: Verdana;
  /*color: #00008b;*/
  color: #c00;
  TEXT-DECORATION: none;
}

A:hover {
/*  BACKGROUND: #fff;
	color: #fff;
   	BORDER: #c00  1px dashed;
  TEXT-DECORATION: UNDERLINE OVERLINE; 
  COLOR: #c00; */
	background: #ffe7e7;
}
/*
H1 A {
  COLOR: #ff3300
}

H2 A {
  COLOR: #ff3300
}

H3 A {
  COLOR: #ff3300
}

H4 A {
  COLOR: #ff3300
}
*/
H1{
  margin-top: 0px; 
  margin-left: -100px;
  margin-right: -90px;
   padding: 22px 0px 22px 60px;
  font-family: georgia, "Trebuchet MS";
  FONT-WEIGHT: bolder;
  COLOR: #004f37;
  /*Border-bottom: #004f37 2px solid;
  Border-left-width: 6px;*/
  background: #d9e7e2 url(../images/sky.png) repeat-x;
  font-size: 40px;
  line-height: 1;  
}

H2 {
  margin-left: -35px;
  margin-right: 0px;
  margin-top: 50pt;
  PADDING: 3px 0px 3px 10px; 
/*  COLOR: #005a9c;
  COLOR: #f63811;
  COLOR: #c61a02; */ 
  COLOR: #005a9c;
  font-family: georgia, "Trebuchet MS";
  FONT-WEIGHT: BOLD;
  font-size: 20px;
/*  BORDER-BOTTOM: #005a9c 1px solid;*/
  BORDER: #005a9c 1px solid; 
  BORDER-LEFT: #005a9c 6px solid; 
/*  Border-width: 1px;*/
/*  BORDER-STYLE: ridge;*/
  BACKGROUND: #c4d9ef; 
  line-height: 1;
  background-image: url(../images/lightblue.gif);
}


H3 {
  margin-left: -25px;
  margin-right: 0px;
  margin-top: 40pt;   
  PADDING: 3px 0px 3px 10px;
  COLOR: #2b804c;
/*  COLOR: #6b18e7;
    color: #ff3300;*/
  font-family: "Trebuchet MS";
  FONT-WEIGHT: BOLD;
  font-size: 18px;
  BORDER-bottom: #2b804c 1px solid; 
  BORDER-LEFT: #2b804c 6px solid;
/*  BORDER-BOTTOM: #6b18e7 1px dashed;
  border-style: groove; */
  BACKGROUND: #d9eae0;
  line-height: 1;
  background-image: url(../images/lightgreen.gif);
}

H4 {
  margin-left: -15px;
  margin-right: 0px;
  PADDING: 3px 0px 3px 10px;
  font-family: "Trebuchet MS";
  FONT-WEIGHT: bold;
  font-size: 16px;
  /* COLOR: (#963455; fce6eb) (4d2b82, e0d5f1) */
  COLOR: #d04b44;
  BORDER-bottom: #d04b44 1px solid;
  BORDER-LEFT: #d04b44 6px solid;
  BACKGROUND: #f2dad8;
  line-height: 1;
/*  background-image: url(../images/nicebg2.png);*/
}

H5 {
/*   border: grey 1px dashed; */
  margin: 10px 0px 2px 0px;
  font-size: 14pt;
  color: #7b7b5a;
  line-height: 1;
}

H2:hover, H3:hover, H4:hover, H5:hover {
  BORDER-bottom-style: dashed; 
}


H2:link, H2:active, H3:link, H3:active, H4:link, H4:active, H5:link, H5:active {
	border-width: 1px;
	border-style: inset;
}

H6.mulu {
/*  color: #083729;*/
	color: #46357c;
  margin: 0px 0px -10px -35px;
  font-size: 14px;
}

IMG {
  /*BORDER: 1px solid;
  align: right;
  Float: right;*/
  MARGIN-top: 15px;
  margin-bottom: 5px;
}

a img {
	border: none;
	background:  none;
}

PRE {
  line-height: 1.6;
  FONT: 9pt "Bitstream Vera Sans", Courier New, helvetica;
  COLOR: #284d6a;
  /*BORDER: #95dcef 1px dashed;*/
  PADDING: 0.5em 0em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
  BACKGROUND: #c4e6f0;
  /*background-image: url(../images/bg_old.gif);*/
  background-image: url(../images/brick.gif);
/*  BACKGROUND: #f7fcee;*/
}
/*
pre:hover, pre.example:hover {
	border-style: outset;
}

pre:link, pre:active, pre.example:link, pre.example:active {
	border-style: inset;
}
*/
div.mulu {
  margin-left: -35px;
  margin-bottom: 3em;
  padding-top: -2em;
  padding-bottom: -2em;
  padding-left: 35px;
  border-top: grey 1px dashed;
  border-bottom: grey 1px dashed; 
  background: transparent url("../images/menu_tr.gif");
}


div.me {
  FONT: 9pt Courier New, helvetica;
  color: #3c5e08;
  BORDER: #ccaa00 1px solid;
  PADDING: 0.5em 0.5em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
  background-image: url(../images/nice.gif);
}


PRE.example {
 /* COLOR: #80856e;
  color: #8b4513;*/
  color: #3c5e08;
/*  BORDER: #9f8787 1px solid;*/
/*  BORDER: #f0807f 1px dashed;*/
  BORDER: #ccaa00 1px solid;
  PADDING: 0.5em 0.5em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
  background-image: url(../images/nice.gif);
}

.verse {
  MARGIN-LEFT: 1em;
  WHITE-SPACE: pre;
}

DT {
  padding-top: 1em;
  font-size: 14px;
  FONT-WEIGHT: bold;
  color: #ee4000;
}


P {
  MARGIN-LEFT: 0px;
  margin-right: 0px;    
/*  text-align: justify;*/
}

P A {
	font-family: 'Trebuchet MS';
}

/* what to make light gray? as this #fxfxfx, x bigger, the lighter*/
/*P:hover, tr:hover, td:hover, li:hover, dt:hover, dd:hover {
	background: #f1f9f4;	
	background: #eef1f4;	
	background: #f6f8f8;	
}*/




/*
P:first-letter 
{
  font-weight:bold;
  color: black;
}
*/

	
ul, ol {
  margin-left: 30px;
  margin-right: 0px;
  padding: 0px;
/*  text-align: justify;*/
}

ul{
  list-style-image: url(../images/ul.gif);
}

ul ol{
  list-style-image: none;
}

ul ul {
  list-style-image: url(../images/ulul.gif);
}

ol ul {
  list-style-image: url(../images/olul.gif);
}

strong em {
  /*color: #ff2200;*/
  color: #000066;
}

strong {
  /* color: #8b008b;*/
  color: black;
}

em {
  /*   color: #8b2323;   */
  color: #003399;
  font-style: oblique;
}

/* under line*/
u {
  text-decoration: none;
  font-style: oblique;
  /*color: #284d6a;*/
  color: #68228b;
}

.navfoot {
	margin-left: -35px;
}

.footdate {
  FONT: small Verdana,  Arial, Times New Roman, Courier New, Helvetica;
  /*	BORDER-RIGHT: buttonshadow 1px solid;
     PADDING-RIGHT: 2px;
     BORDER-TOP: buttonhighlight 1px solid; 
     PADDING-LEFT: 3px; 
     OVERFLOW: hidden; 
     BORDER-LEFT: buttonhighlight 1px solid; 
     BORDER-BOTTOM: buttonshadow 1px solid; 
     HEIGHT: 23px;
     background: #efefef;*/
}

.foothome {
  FONT: small  Verdana, Arial, Times New Roman, Courier New, Helvetica;
  /*		BORDER-RIGHT: buttonshadow 1px solid;
     PADDING-RIGHT: 2px;
     BORDER-TOP: buttonhighlight 1px solid; 
     PADDING-LEFT: 3px; 
     OVERFLOW: hidden; 
     BORDER-LEFT: buttonhighlight 1px solid; 
     BORDER-BOTTOM: buttonshadow 1px solid; 
     HEIGHT: 23px;
     background: #ffd112;*/
}

table {
  margin-top: 5px;
  margin-bottom: 5px;
}

td {
  BORDER-RIGHT: buttonshadow 1px solid;
  PADDING-RIGHT: 2px;
  BORDER-TOP: buttonhighlight 1px solid; 
  PADDING-LEFT: 3px; 
  OVERFLOW: hidden; 
  BORDER-LEFT: buttonhighlight 1px solid; 
  BORDER-BOTTOM: buttonshadow 1px solid; 
  HEIGHT: 23px;
  /*     border: 1px solid #CCCCCC;
     font-size: 11pt;
     font-family: Helvetica, arial, sans-serif;
     vertical-align: baseline;
     padding-left: 10px;
     padding-right: 7px; */
  background: #e0e0c0;
  font-size: 13px;

}

th {
  /* text-align: left;
     padding-top: 10px;
     padding-left: 10px;
     border: none;*/
  BORDER-RIGHT: buttonshadow 1px solid;
  PADDING-RIGHT: 2px;
  BORDER-TOP: buttonhighlight 1px solid; 
  PADDING-LEFT: 3px; 
  OVERFLOW: hidden; 
  BORDER-LEFT: buttonhighlight 1px solid; 
  BORDER-BOTTOM: buttonshadow 1px solid; 
  HEIGHT: 23px;
  background: #ffd112;
  font-size: 13px;

}

hr {
	margin-left: -35px;
}

.toplink { 
	font-size: x-small; 
	float: right;
	line-height:1;
}
.toplink A { 
	text-decoration: none;
	color: inherit;
	background: inherit;
}
.toplink A:hover { text-decoration: underline }
/*.toplink A:visited { color: darkgray; text-decoration: none }*/


/* menu */

.menu:before {
	line-height: 0.1;
	font-size: 1px;
	background: transparent url("../images/menu_tr.gif") no-repeat top right;
	margin: 0;
	height: 9px;
	display: block;
	border-bottom: 1px solid #ddd;
	content: url("../images/key-point_tl.gif");
}
.menu {
	background: #E0E9E9 url("../images/menu_back.gif") right repeat-y;
	float: right;
	clear: both;
}
.menu:after {
	display: block;
	padding-top: 0;
	line-height: 0.1;
	font-size: 1px;
	content:  url("../images/key-point_bl.gif");
	margin: 0 0 0 0;
	height: 8px;
	background: transparent url("../images/menu_br.gif") scroll no-repeat bottom right ;
	border-top: 1px solid #fff;
}

.menu, .menuitem {
	margin: 0;
	padding: 0;
	list-style: none;
}

.menuitem {
    FONT: 11px Verdana, Courier New;
	display: inline;
	padding: 0;
	margin: 0;
}

.menuitem a {
	display: block;
	padding: 1px 10px 1px 10px;
	color: #00008b;
	text-decoration: none;
	background: #EDF2F2;
	border-bottom: 1px solid #ddd;
	border-top: 1px solid #fff;
	border-right: 1px solid #ddd;
}

.menuitem a:hover {
	background: #E0E9E9;
	color: #c00;
}

/* table of contents for this page*/
.contents {
	padding-top: 2px;
    FONT: 10px Verdana, Courier New;
} 

dt.contents:before {
	display: inline;
	content: url("../images/dotnice.gif");
}

dt.contents a {
	font-size: 12px;
	color: #c00;
	display: inline;
}

dt.contents a:hover {
  background-color: #ffe7e7;
}


dd dl dt.contents:before {
	display: inline;
	content: url("");
}

dd dl dt.contents a {
	font-weight: normal;
	font-size: 11px;
	color: #007f1d;
	display: block;
}

dd dl dt.contents a:hover {
  background-color: #dfffe6;
}

span.comment {
  line-height: 1.6;
  font-weight: normal;
}

/* for program source*/
.comment {
  /* font-lock-comment-face */
  color: #cd0000;
  font-weight: bold;
  font-style: italic;
}

.function-name {
  /* font-lock-function-name-face */
  color: #0000ff;
  font-weight: bold;
}
.keyword {
  /* font-lock-keyword-face */
  color: #a020f0;
  font-weight: bold;
}
.preprocessor {
  /* font-lock-preprocessor-face */
  /*color: #7fffd4;*/
  color: black;
  font-weight: bold;

}
.string {
  /* font-lock-string-face */
  color: #008b00;
}
.type {
  /* font-lock-type-face */
  color: #000080;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #8b5a2b;
}

.doc {
  /* font-lock-comment-face */
  color: #F0A4A4;
}