<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">.hidden
{
	display: none;
	visibility: hidden;
}

.visible
{
	display: block;
	visibility: visible;
}

div.pub
{
}

div.pub b.title
{
	font-weight: bold;
	color: #ffffff;
}

div.pub span.note
{
	font-size: small;
	color: #909090;
}

div.pub a.button
{
	display: list-item;
	padding: 1px;
	border: thin solid #4080f0;
	color: #4040f0;
	background-color: #d0d0d0;
	text-decoration: none;
	/*font-weight: bold;*/
	font-size: small;
}

div.pub li.button
{
	padding: 1px;
	border: thin solid #4080f0;
	color: #2020f0;
	background-color: #a0a0a0;
	/*font-weight: bold;*/
	font-size: small;
}

div.pub a.button:hover
{
	color: #2020f0;
	background-color: #a0a0a0;
}

div.pub td
{
	vertical-align: text-top;
}

div.pub ul.publist
{
	margin-left: 0;
	padding-left: 0;
	list-style-type: none;
}

div.pub li.publist
{
	margin-bottom: 1em;
}

div.pub ul.menu
{
	padding: 2px;
	margin-top: 0;
	margin-left: 0;
	list-style-type: none;
}
</pre></body></html>