.article {
	margin-right:20px;
}

.article div.titlepage hr {
	display:none;
}

.article table {
	font-family: sans-serif;
	font-size: 12px;
	font-color:#5B5B5B;
}
.article div {
	/*border: 1px solid gray;*/
	margin:0px;
	padding:0px;
}
.article h1,
.article h2,
.article h3,
.article h4 {
	color:#25334C;
	font-family: sans-serif;

}
.article h1 {
	font-size:16px;
}

.article h2 {
	font-size:1.4em;
}

.article div.sect1 h2 {
	border-bottom:1px solid #25334C;
	font-size:14px;
}
.article div.sect1 {
	margin-top:2em;
/* 	border:1px solid gray; */
}
.article a,
.article a:visited,
.article a:hover,
.article a:link {
	color:#25334C;
	text-decoration:none;
}
.article a:hover {
	text-decoration:underline;
}

.article a.ulink {
	font-size:1em;
	font-style:normal;
	font-weight:bold;
}

.article div.author {
	display: block;
	text-align: right;
	color: #B4B4B4;
	font-size: 0.80em;
	border: none;
}
.article p {
	text-align:justify;
}
.article pre.synopsis {
	background-color:#F5F5F5;
	border:1px solid #D6D6D6;
	border-left-width: 5px;
}
.article pre.programlisting {
	background-color:#F5F5F5;
	border:1px solid #D6D6D6;
	border-left-width: 5px;
	overflow: auto;
}
/*.article div.informalexample {
	background-color:#F5F5F5;
	border:1px solid #D6D6D6;
	border-left-width: 5px;
	overflow: auto;
}*/
.article div.note {
	border:1px solid #39475B;
	background-color:#E3E9FF;
	padding:0.5em;
/* 	margin-top:1em; */
/* 	margin-bottom:1em; */
}
.article div.note div.funcsynopsis {
	background-color:#F6F8FF;
}
.article pre.programlisting {
	font-size:12px;
}

.article span.quote {
	color:#626262;
	font-style:italic;
}
.article div.figure-float div.figure {
	margin:1em;
}
.article div.figure {
	margin:1em;
	float:left;
}

.article div.footnotes {
	display:block;
	clear:both;
	margin-top:2em;
}