/* default.css */
body{
	margin-left: 1em;
	padding-left: 0;
}

h1{
	text-align: center;
	margin-bottom: 0.1em;
}

.subtitle{
	text-align: center;
}


h3, h4, h5{
	margin-top: 1em;
	margin-bottom: 0.4em;
}

.fileinfolinst{
	margin-left: 2em;
}

div.revinfo{
	margin-left: 1em;
}

pre{
	margin-top: 0em;
	margin-bottom: 0em;
	font-size: 100%;
}


pre.samples{
	margin-left: 1em;
}

.note{
	font-size: 80%;
}

em {
	text-decoration: underline;
}


dfn {
	font-style: normal;
	font-family: monospace;
	margin: 1px 2px;
	padding: 1px;
	border: 1px solid;
}
table {
	border-collapse: collapse;
}
table, td, th {
	border: 1px solid;
}