<!--

.but { background: #0072a8; color: #dddddd; border: 1 solid #efefef; font-size: 8pt; }

-->