div.tx-wrapper
{
	border: solid 1px #aaaaaa;
	display: flex;
	flex-direction: column;
}
div.tx-toolbar
{
	display: flex;
	flex-direction: row;
	padding: 16px;
	background-color: #eee;
}
div.tx-toolbar > a.uwt-button
{

}
@media (min-width: 1000px)
{
	div.tx-wrapper
	{
		width: 80%;
		margin-top: 128px;
		margin-left: auto;
		margin-right: auto;
	}
}
div.tx
{
	color: #000000;
	font-family: monospace;
	font-size: 10pt;
	padding: 16px;
}
div.tx a
{
	color: inherit;
	text-decoration: none;
}
div.tx a:hover
{
	text-decoration: underline;
}
div.tx a.uwt-button
{
	display: inline-block;
	min-width: auto;
	min-height: auto;
	padding: 2px 8px;
	border-radius: 4px;
	margin: 4px;
	color: #676a6c;
	text-decoration: none;
}
div.tx span.tx-keyword
{
	color: #0000aa;
	font-weight: bold;
}
div.tx span.tx-category
{
	color: #003366;
	font-weight: bold;
}
div.tx .tx-reference
{
	color: #000000;
	font-weight: bold;
}
div.tx .tx-reference > i
{
	opacity: 0;
	position: relative;
	display: inline-block;
	width: 0px;
}
div.tx .tx-reference::before
{
	font-family: "FontAwesome";
	content: "\f061";
}
div.tx span.tx-class
{
	color: #660066;
	font-weight: bold;
}
div.tx div.tx-indent
{
	padding-left: 24px;
}
div.tx .tx-comment
{
	color: #aaaaaa;
}
div.tx .tx-instance
{
	color: #006666;
}
div.tx > div:hover
{
	background-color: #eeeeee;
}