span.small-links span.bracket-link { font-weight: normal; font-size: 7pt; }
.mono { font-family: monospace; }

div.panel40
{
	position: relative;
	padding: 0px;
	left: 	0%;
	top: 		0%;
   width:	38%;
/*   display: inline-block; */
}

div.panel60
{
	position: relative;
	padding: 0px;
	left: 	40%;
	top: 		0%;
   width:	60%;
/*   display: inline-block; */
}

fieldset.source_file
{
	padding: 1px;
}