body {
	background: white;
	color: black;
}

h1 {
	align: center;
}

h1,h2,h3,h4 {
	font-family: helvetica, arial;
}

div.message-def {
	width: 100%;
	margin-top: 1em;
	border-style: none;
	border-width: 0.1em;
	padding: 0.6em;
	background-color: #ddd;
	word-spacing: 1em;
}

div.parameter-desc {
	margin-top: 0.5em;
}

div.message-desc {
	margin-top: 0.5em;
	margin-left: 1em;
}

span.keyword {
	color: blue;
	font-family: monospace;
}

span.keyword-ref {
	color: blue;
	font-family: monospace;
	text-decoration: underline;
}

span.parameter {
	color: maroon;
	font-family: monospace;
}

span.parameter-opt {
	color: teal;
	font-family: monospace;
}

span.parameter-const {
	color: teal;
	font-family: monospace;
}