/* xtm2xhtml.css */
body {	
   font-family:  Helvetica, Arial, sans-serif;
   font-size: 1em;
	margin-left: 2ex;
	margin-right: 2ex;
   background-color: #d9d6c4;
}

p {
   padding-left:1ex;
   line-height:1.2em;
   /*text-align: justify;*/
}

ul {
   padding-left: 2ex;
}

dl {
   margin-bottom: 1em;
}

dt {
   margin-top: 1em;
   /*font-size: .9em;*/
}


dd {
   margin-left: 1em;
   color:#cd5555;
   color:#cd5555;
   /*font-size: 1em;*/
}

.hr {
   border:.1ex solid #bbbbbb;
   background-color: #cccccc;
   height:.2ex;
   margin: 1ex 2ex 2ex 2ex;
}

.list {
   padding-left:0em;
   padding-right:1em;
   padding-bottom:.5em;
}

.list dl dd {
   margin-left: 3ex;
   color:#000;

}

dd.occur {
   color:#000000;
}

dd.occur a {
   color:green;
   text-decoration:underline;
}

a:link, a:visited {  
   color: blue;
   text-decoration: none;
}
a:hover {  
   text-decoration:underline;
}


h2 {
   color: black;
	background:	#cccccc;
	padding:	1ex;
	margin-top:	0ex;
   border-top:.2ex groove white;
	border-bottom:.1ex solid #bbbbbb;
   border-right: none;
   border-left: none;
}

h3 {
   color: #444444;
   paddding:0ex;
	margin:	0ex;
   margin-bottom:0ex;
   border-bottom: .1ex solid #cd5555;
   /*border-left: .5ex solid #cd5555;*/
   /*padding-left: .5ex;*/
}

h4  /* used in occurrence heading (scope) */
{
   paddding:0ex;
   margin: 2ex 0ex .2ex 0ex;
   border-bottom: none;
}

div.topic	
{ 	
	background:	#ffffff;
   border-left: .1ex solid #bbbbbb;
   border-right: .1ex solid #bbbbbb;
   
}

h2.header
{	
   color: black;
	background:	#dddddd;
	padding:	1ex;
	margin-top:	0ex;
   border-top: .1ex groove #bbbbbb;
}

h2.ttitle	
{	
   color: #cd5555;
   font-weight: normal;
   /*letter-spacing:.1ex;*/
	background:	#dddddd;
	padding:	1ex;
   margin:0ex;
   border-top:.2ex groove white;
	border-bottom:.1ex solid #bbbbbb;
   border-right: none;
   border-left: none;
}
div.topic-properties
{
   /*font-size: .8em;*/
	background:	#dddddd;
	padding:	1ex;
   margin-bottom:1ex;
	border:.1ex solid #bbbbbb;
}

.associations, .occurrences 
{
   /*font-size: .9em;*/
	background:	#dddddd;
	padding:	1ex;
	margin-bottom:	1ex;
	border:.1ex solid #bbbbbb;
}						

.occurrences 
{
   /*font-size: 0.9em;*/
	padding:	1ex;
}

.occurrences li
{
   margin-bottom: .4ex;
}
.instances
{
   /*font-size: .9em;*/
	background:	#dddddd;
	padding:	1ex;
	margin-top:	1ex;
	margin-bottom:	1ex;
	border:.1ex solid #bbbbbb;
}

.occurrence-instance
{
   /*font-size: .9em;*/
	background:	#dddddd;
	padding:	1ex;
	margin-top:	1ex;
	margin-bottom:	1ex;
	border:.1ex solid #bbbbbb;
}
.occurrences p
{  
   margin-top:0em;
   padding:0ex;
}

address		
{	
   padding:	0.5ex;
   font-size: .9em;
}

form
{
   margin-bottom: 0px;
}
.tocHeader
{
   font-size: .9em;
	background:	#333333;
   padding: .4ex;
   color: #eeeeee;
   font-weight: bolder;
   letter-spacing:.1ex;
   width:100%;
}
.tocHeader a
{	
   width: 20%;
   font-size: .9em;
   color: #eeeeee;
}
/* from xtm2xhtml.css */

.tocHeader a:link, .tocHeader a:visited 
{
	text-decoration:	none;
	color: white;
	padding:	0.4ex;
}
.tocHeader a:hover 
{
	background:	#cccccc;
	color: black;
}


span.extlink a:link, span.extlink  a:visited
{	
   font-family:	monospace;
	/*font-size:	.9em;*/
   color:blue;
   text-decoration:underline;
}

a.role
{
   color: #000000;
   font-size: .9em;
}

div.footer
{
	border-top: solid .4em #333333; 

}

.scope
{
   font-size:.9em;
}

a.scope 
{
   color: purple;
   font-size:.9em;   
}

.e_occur
{
   color: #888888;
   font-size:.9em;   
}
.hier
{
margin-left:4ex;
}

a.occur
{
   color:green;
   text-decoration:underline;
}

.count
{
   font-size:.9em; 
   font-weight:normal;
}

.type
{
   font-size:.9em; 
}

.sel-xtm
{
   letter-spacing:.0ex;
   text-align:right;
}
.crumbs-box    /* div containing crumbs */
{

}
.crumbs_t
{
   font-size:.9em;
   margin:.2em;
}

.crumbs_l
{
   font-size:.9em;
   margin:.2em;
   margin-top:.5ex;
}
.trail
{
   font-weight:bold;
}
.childs
{
   background-color: #ffffff;
   padding-left:5ex;
}

.error
{
   font-size: 1em;
   font-family: sans-serif;
}

.error b
{
   color:darkred;
}