h1           { color: rgb(51, 0, 153) }
h2           { color: rgb(51, 0, 153) }
h3           { color: rgb(51, 0, 153) }
h4           { color: rgb(51, 0, 153) }
h5           { color: rgb(51, 0, 153) }
h6           { color: rgb(51, 0, 153) }
h7           { color: rgb(51, 0, 153) }

body         { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif; 
		font-weight: normal;
		font-style: normal; }

code         { 	font-family: "Courier New", Sans-serif;
		font-weight: normal; 
		font-style: normal; }

pre         { 	font-family: monspace, Sans-serif;}


h1           { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal }

h2           { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal }

h3           { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal }

h4           {  font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal }

h5           { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal }

h6           { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; }

h7           { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; }

ul           { list-style-image: url('ablbull1.gif') }
ul ul        { list-style-image: url('ablbull2.gif') }
ul ul ul     { list-style-image: url('ablbull3.gif') }


li	     { margin-top: 0.5em; margin-bottom: 0.5em; }

dt	{ margin-left: 2em; font-weight: bold;}
dd	{ margin-top: 0.2em; margin-bottom: 0.5em; }
		

td { 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif; 
		font-weight: normal;
		font-size: 80%; 
		font-style: normal }
p.menulist0      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-top: 0; margin-bottom: -0.3em;
		}
p.menulist1      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 1em;
		margin-top: 0; margin-bottom: -0.3em;
		}

p.menulist2      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 2em;
		margin-top: 0; margin-bottom: -0.3em;
		}

p.menulist3      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 3em;
		margin-top: 0; margin-bottom: -0.3em;
		}

p.menulist4      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 4em;
		margin-top: 0; margin-bottom: -0.3em;
		}

p.menulist5      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 5em;
		margin-top: 0; margin-bottom: -0.3em;
		}

p.menulist6      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 6em;
		margin-top: 0; margin-bottom: -0.3em;
		}
		
p.tocitem0          {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 120%;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}
		
p.tocitem1         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 110%;
		margin-left: 3em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}
		
p.tocitem2         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 100%;
		margin-left: 6em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

		
p.tocitem3         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 90%;
		margin-left: 9em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}
		
p.tocitem4         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 12em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}
		
p.tocitem5         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 70%;
		margin-left: 15em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}
		
p.tocitem6         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 60%;
		margin-left: 18em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}
		
p.tocitem7         {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 50%;
		margin-left:21em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem0      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem1      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 1em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem2      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 2em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem3      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 3em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem4      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 4em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem5      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 5em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitem6      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
		margin-left: 6em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menuitemh1      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: bold; 
		font-style: normal; 
		margin-top: -0.05em; margin-bottom: 0.05em;
		}

p.menulisth1      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal; 
		font-size: 90%;
		margin-top: 0; margin-bottom: -0.1em;
		}

p.small      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif;  
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 4em;
		margin-top: 0; margin-bottom: -0.3em;
		}

p.module_defn      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif; 
		font-weight: normal; 
		font-style: normal;
		font-size: 80%;
		margin-left: 4em;
		margin-top: 0; margin-bottom: -0.1em;
		}

p.note        {
		font-size: 90%;}

p.refdata     {
	       background: rgb(255,255,153);
	       font-size: 90%;}

		
p.example    {font-family: Courier, Sans-serif;
		font-size: 90%;
		font-weight: normal; 
		font-style: normal }

p.content    {font-family: "Trebuchet MS", Verdana, Arial, Helvetica, Sans-serif; 
		font-size: 90%;
		font-weight: normal; 
		font-style: normal;
		margin-left: 2em;
		margin-top: 0; margin-bottom: 0.1em; }


div.code     { 	font-family: "Courier New", Sans-serif;

		font-weight: normal; 
		font-style: normal; 
		margin-top: 1em; 
		margin-bottom: 1em;
		margin-left: 3em; 
		width: 95%;	
		background-color: silver;
    		padding: 0.5em;
		border-left: none;
		border-right: none;
    		border-top: solid;
    		border-bottom: solid;
    		border-width: 1px;
    		border-color: black}


div.example {font-family: Courier, Sans-serif;
		font-size: 80%;
		font-weight: normal; 
		margin-left: 3em;}

div.description {
	background: rgb(204,204,255);
        padding: 0.5em;
        border: none;
  }

div.class_title {
	font-weight: normal; 
        margin-top: 0em; margin-bottom: 0em; 
        border: none;
  }

div.class_description {
        padding: 0.5em;
	font-size: 85%;
	font-weight: normal; 
	margin-left: 3em;
        margin-top: 0em; margin-bottom: 1em; 
        border: none;
  }

div.class_express {
	font-size: 85%;
	font-family: Courier, Sans-serif;
	font-weight: normal; 
	margin-left: 2em;
        margin-top: 0em; margin-bottom: 1em; 
        border: none;
  }

div.class.xexpress {
	font-family: Courier, Sans-serif;
	font-size: 90%; 
	margin-left:3em;
	font-weight: bold; 
	font-style: normal ;
}

div.class.remove {
	background-color: silver;
}

div.class_section {
	font-weight: normal; 
	margin-left:0em;
        margin-top: 2em; margin-bottom: 0em; 
	background-color: silver;
        border: none;
  }

div.class.issue_open {
	margin-left: 1em; margin-right: 1em; background: #FFFF99;
}

div.class.issue_closed {
	margin-left: 1em; margin-right: 1em; background: #C0C0C0;
}

div.class.issue_title {
	font-size: 85%;
	font-weight: bold; 
        margin-top: 1em; margin-bottom: 0em; 
}

div.class.issue_body {
	font-size: 85%;
	font-weight: normal; 
        margin-left: 2em; margin-top: 0em; margin-bottom: 0em; 
}


div.helptitle {
	font-weight : normal;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 200%;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left : 10px;
}

div.helpindex {
	font-weight : normal;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 80%;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left : 10px;
	padding-right : 10px;
}

p.bannermenu   {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica,  Sans-serif;
		font-weight: bold;
		font-style: normal;
		font-size: 90%;
		margin-top: 0em; margin-bottom: 0em;
		background-color: silver;
		}

p.bannermenuitem   {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica,  Sans-serif;
		font-weight: normal; 
		font-style: normal; 
		font-size: 70%;
		margin-left: 2em;
		margin-top: -0.05em; margin-bottom: 0.05em;
		}


p.dep0      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica,  Sans-serif;
		font-weight: normal; 
		font-style: normal; 
		font-size: 90%;
        margin-top: 1em; margin-bottom: 0em; 	

		}

p.dep_err      {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica,  Sans-serif;
		font-weight: normal; 
		font-style: normal; 
		font-size: 90%;
		margin-left: 5em;
        margin-top: 0em; margin-bottom: 0em; 
		}

p.express_obj { color: rgb(51, 0, 153); 
	 	font-family: "Trebuchet MS", Verdana, Arial, Helvetica,  Sans-serif;
		font-weight: bold; 
		font-style: normal; 
		font-size: 140%;
		background: rgb(255,255,153);
		padding: 0.2em;
		border: none;
}	


p.express    { 	font-family: Courier,  Sans-serif;
		font-size: 80%;
		font-style: normal }

p.debug_cell {
		font-family: "Trebuchet MS", Verdana, Arial, Helvetica,  Sans-serif;
		font-weight: normal; 
		font-style: normal; 
		font-size: 80%;
	        margin-top: 0em; margin-bottom: 0em; 
		}

table.debug    	{ border: 2px solid gray; border-collapse: collapse; }
th.debug 	{ text-align: center; font-weight: bold; vertical-align: baseline }
td.debug	{ border: 1px solid gray; }


div.box { border: solid; border-width: thin; width: 100% }

div.h1 {
	color: rgb(51, 0, 153);
	font-weight : bold;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 150%; font-weight: bold;
	margin-top: 1.5em;
	margin-bottom: 0.1em;
	padding-left : 10px;
	background: rgb(255,255,204);
        border: none;
	
}

div.h2 {
	color: rgb(51, 0, 153);
	font-weight : bold;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 120%; font-weight: bold;
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	padding-left : 20px;
}

div.h3 {
	color: rgb(51, 0, 153);
	font-weight : bold;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 100%; font-weight: bold;
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	padding-left : 30px;
}

div.indent {
	
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	padding-left : 40px;
}

div.indent1 {
	
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	padding-left : 40px;
}

div.indent2 {
	
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	padding-left : 20px;
}

div.param {
	font-size: 90%; 
	margin-top: 0.5em;
	margin-bottom: 0.1em;
	padding-left : 40px;
}

span.name{
	color: rgb(51, 0, 153);
	font-size: 100%; 
	font-weight: bold;
}

div.pagetitle {
	font-weight : normal;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 150%;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left : 10px;
 	background-color: silver;
}


table.pagetitle {
  font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
  font-size: 200%;
  font-weight: bold;
  background-color: silver;
  border-width: 0;

}


td.pagetitle_cvs {font-size: 40%;}


div.menubar {
	font-weight : normal;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	font-size: 100%;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left : 10px;
 	background-color: silver;
}


div.menuBar,
div.menuBar a.menuButton {
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 8pt;
  font-style: normal;
  font-weight: normal;
  color: #000000;
}

div.menuBar {
  background-color: #d0d0d0;
  border: 2px solid;
  border-color: #f0f0f0 #909090 #909090 #f0f0f0;
  padding: 4px 2px 4px 2px;
  text-align: left;
}

div.menuBar a.menuButton {
  background-color: transparent;
  border: 1px solid #d0d0d0;
  color: #000000;
  cursor: default;
  left: 0px;
  margin: 1px;
  height: 20px;
  padding: 2px 6px 2px 6px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}

div.menuBar a.menuButton:hover {
  background-color: transparent;
  border-color: #f0f0f0 #909090 #909090 #f0f0f0;
  color: #000000;
}


div.menu {
  background-color: #d0d0d0;
  border: 2px solid;
  border-color: #f0f0f0 #909090 #909090 #f0f0f0;
  left: 0px;
  padding: 0px 1px 1px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}

div.menu a.menuItem {
  color: #000000;
  cursor: default;
  display: block;
  padding: 3px 1em;
  text-decoration: none;
  white-space: nowrap;
}

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background-color: #000080;
  color: #ffffff;
}

div.menu div.menuItemSep {
  border-top: 1px solid #909090;
  border-bottom: 1px solid #f0f0f0;
  margin: 4px 2px;
}


div.tab1 {
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left : 10px;
}
div.tab2 {
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left : 40px;
}
div.tab3 {
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left : 60px;
}

div.warningtitle {border:solid 1px; border-color: red;
                width:80%;
                color:white;
                font-weight: bold;
                font-size: 90%;
                background:red;
                padding: 2px 2px; 
                margin-top:1em;
                margin-left:2em;}

div.warningcontent {
		border:solid 1px; border-color: red;
                width:80%;
                background:#FFF0FF;
                font-size: 90%;
                color:black;
                padding: 2px 10px; 
                margin-bottom:1em;
                margin-left:2em;}


div.titleblock {
		border: solid 2px; 
		border-color: navy;
                width:80%;
                color:black;
                background-color: #C0C0C0;
                padding-top: 20px;
                padding-left: 20px;
                padding-right: 20px;
                padding-bottom: 20px; 
                margin-left: 4em;         
                margin-right: 4em;                
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style: italic;
	list-style-type: decimal;
	color: #66116D;
                }


div.menuTmplTbl {
  padding: 4px 4px 4px 2px;
}

div.menuTmplTbl a.menuButtonTmplTbl {
  background-color: #d0d0d0;
  border: 2px solid;
  border-color: #f0f0f0 #909090 #909090 #f0f0f0;
  padding: 2px 4px 2px 4px;
  margin: 1px 1px 1px 1px; 
  text-align: center;
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 8pt;
  font-style: normal;
  font-weight: normal;
  text-decoration: none;
  color: #000000;
}

 div.menuTmplTbl a.menuButtonTmplTbl:hover {
  background-color: #dedede;
  border-color: #f0f0f0 #909090 #909090 #f0f0f0;
  color: #000000;
}

div.navfootertitle {
	font-weight : normal;
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left : 10px;
 	background-color: silver;
}

div.navfooterbody {
  font-family : "Trebuchet MS", Verdana, Arial, Helvetica, serif; 
  font-size : smaller;
}