
div#logarea
{
	padding-top: 1em;
}

th.line
{
	width: 10px;
}

div.pager
{
	padding: 5px;
}

td
{
	padding: 3px !important;
	white-space: pre-wrap;
}

#buttons
{
	padding-left: 2em;
}

#highlight_div
{
	padding-left: 5em;
}

#highlight
{
	padding: 5px 10px;
	border-style: none;
	box-shadow: none;
}

#xinfo
{
	color: #ff4000 !important;
	font-weight: normal;
	font-style: italic;
	padding-left: 6em;
}

