/* General style */

body {
	background: #ffffff;
	color: #000000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	margin-left: 5%;
	margin-right: 5%;
}

a:link {
	color: #ff5200;
        text-decoration: none; 
}

a:active {
	color: #ff0000; 
        background: #ffdddd; 
        text-decoration: none; 
}

a:visited {
	color: #cc3300;
        text-decoration: none;
}

a:hover {
	color: #ff5200; 
        text-decoration: underline; 
}

h1 {
	font-weight:normal;
	font-size: 18pt;
}

h2 {
	font-weight: normal;
	font-size: 13pt;
}

h3 {
	font-weight: bold;
	font-size: 10pt;
}

h4 {
	/*	color: #000022; */
	/*	font-style: italic;*/
	font-weight: bold;
	text-align: left;
	margin-left: 5%;
}

table {
	font-size: 10pt;
}

p {
	text-align: justify;
	margin-left: 3ex;
	margin-right: 5%;
	line-height: 140%;
}

ul, ol, dl {
	line-height: 140%;
	margin-left: 0%;
	/* margin-right: 5%;*/
}

dl ul {
	margin-left: 0%;
	text-align: justify;
}

li {
	text-align: justify;
	margin-right: 5%;
}

dt {
	font-weight: bold;
	margin-left: 3ex;
}

dd {
	text-align: justify;
	margin-left: 5ex;
	margin-right: 5%;
}

img {
	margin-left: 5%;
}

dl p, ul p {
	margin-right: 5%;
	text-align: justify;
}

pre {
	margin-left: 0%;
}

/* Special classes */

div.container {
	width: 100%;
	margin-top: 10px;
	margin-left: 10px;
	padding: 0px;
}

div.dim-float {
	width: 200px;
	padding: 5px;
	float: left;
	text-align: center;
	border: solid #ffffff 2px;
	background: #f0f0f0;
}

div.spacer {
	clear: both;
}

.extref {
	text-align: right
}

.warning { 
	text-align: center;
	font-size: 110%;
	font-weight: bold;
	margin-left: 10%;
	margin-right: 10%;
	border: solid red 2px;
	padding: 3px
}

.note {
	font-size: 90%;
	border: solid green 1px;
	padding: 3px
}

.red-note {
	font-size: 90%;
	border: solid red 1px;
	padding: 3px
}

.wip {
	font-size: 90%;
	border: solid #FF8800 1px;
	padding: 3px
}

.toc {
	font-size: 80%;
	text-align: center
}

.dim {
	background: #f0f0f0;
}