/*
      DIV.appl	{
        margin-left:  12px;
      	text-indent: -10px;
        margin-right:  5px;
        }

      DIV.appr	{
        margin-left:  22px;
      	text-indent: -10px;
        margin-right:  5px;
        }
*/


button {	color: black;
	font-size: 10pt;
        font-family: verdana,helvetica;
	font-weight:normal;
	min-width: 4em;
	margin: 0px;
	padding: 2px 1em;
	border-radius:6px;
	}

button.butgrey {
	font-weight:normal;
	}
button.butblue {
	background-color: MediumBlue;
	color: white;
	font-weight:bold;
	visibility: normal;
	}

b.tont	{
	font-weight: bold;
	color: #804040;
	}