body {
	color: #454545;
	font-family: Arial,Helvetica,sans-serif;
	font-size: 1em;
	margin: 0;
}

.header {
	background-color: #ededed;
	padding-bottom: 20px;
	padding-top: 5px;
	text-align: right;
	width: 100%;
}

.header label {
	padding-right: 10px;
}

form {
	border: 1px solid #dddddd;
	padding: 5px;
}

form label, form input, form .ui-button {
	display: inline-block;
	margin-left: 5px;
	margin-right: 5px;
	vertical-align: middle;
}

form input[name=lines] {
	width: 80px;
}

td.button {
	padding-top: 10px;
	text-align: right;
}

pre {
	padding: 5px;
}

.log-message {
	padding: 5px;
}

.log-message span {
	display: inline-block;
	margin: 3px;
	vertical-align: middle;
}