div.updatebox {
    float: right;
    display: block;
    /* overflow: auto; */
    margin-right: -1.3ex;
	margin-left: 2ex;
    margin-bottom: 0;
    padding-left: 1.3ex;
    padding-right: 1.3ex;
    padding-top: .3ex;
    padding-bottom: 1.3ex;
	border: thin solid black;

    width: 40%;
    background: #fffff0;
    font-size: 80%;
	font-family: sans-serif;
}

div.updatebox h1 {
	font-family: verdana, sans-serif;
	font-size: 110%; 
	font-weight: bold; 
	color: #405040;
}