@import url("base.css");

h1 {
	color: #000000;
	font-family: Trebuchet, Helvetica, sans-serif; 
	font-size: 20px; 
	margin-top: 16px;
	margin-bottom: 12px;
}

h2 {
	color: #000000;
	font-family: Trebuchet, Helvetica, sans-serif;
	font-size: 18px; 
	margin-top: 50px;
	margin-bottom: 6px;	
	line-height: 120%;
}

h3 {
	color: #000000;
	font-family:  Trebuchet, Helvetica, sans-serif;
	font-size: 16px; 
	margin-top: 50px;
	margin-bottom: 6px;
}

h4 {
	color: #000000;
	font-family: Trebuchet, Helvetica, sans-serif;
	font-size: 14px; 
	margin-top: 30px;
	margin-bottom: 6px;
}

p {
	font-family: arial, helvetica, sans-serif;
	font-size: 12px;
	font-weight : normal;
	font-style : normal;
}

div.footer {
	font-family: arial, helvetica, sans-serif;
	color: #000000;
	background-color: #FFFFFF;
	text-align : right;
	font-size : 8pt;
	font-weight : normal;
	line-height: 120%;
	border-width: 0px;
}

img {
	border-width: 0px;
}

.diagram {
	max-width: 1024px;
	height:auto;
}

span.item {
	font-family: arial, helvetica, sans-serif;
	font-size: 10pt;
	font-weight : bold;
	font-style : normal;
}

span.propertyLabel {
	font-family: arial, helvetica, sans-serif;
	font-size: 10pt;
	font-weight : bold;
	font-style : normal;
}

span.propertyValue {
	font-family: arial, helvetica, sans-serif;
	font-size: 10pt;
	font-weight : normal;
	font-style : normal;
}

div.documentation {
	font-family: arial, helvetica, sans-serif;
	font-size: 10pt;
	background-color: #FFFFFF;
	font-weight: normal;
	font-style: normal;
	padding-bottom: 8px;
}


div.warning
{
	font-family: arial, helvetica, sans-serif;
	font-size: smaller;
	font-weight : normal;
	font-style : normal;
	font-size: 10pt;
	color: red;
}

span.enumeration {
	text-decoration: underline;
}

span.itemKind {
	font-style: italic;
}

span.markKind {
	font-style: italic;
}

span.markDefinition {
	font-style: italic;
}

span.constantValue {
	font-style: italic;
}