div.over {
	display:none;
	position:fixed;
	left:0;
	top:0;
	width:100%;
	height:100%;
	background-color:rgba(0,0,0,0.1);
}
div.dialog {
	display:none;
	position:absolute;
	left:0;
	top:0;
	background-color:white;
	border:1px solid darkgray;
	box-shadow:4px 4px 4px 0px rgba(0,0,0,0.3);
	line-height:120%;
}
div.dialog .title {
	background-color:#191970;
	color:#fffafa;
	text-align:center;
	line-height:2em;
	font-weight:bold;
	position:relative;
}
div.dialog .title .close {
	position:absolute;
	right:0;
	top:0;
	padding:0 4px;
    font-family: "Font Awesome 5 Pro";
	font-size:1.5em;
	cursor:pointer;
}
div.dialog .title .close::after {
    content: "\f057";
}
div#postaddress .list {
	white-space:nowrap;
	max-height:400px;
	overflow-y:auto;
}
div#postaddress .list .post, div#postaddress .list .address {
	margin:0 10px 0 10px;
}
div#postaddress .list > div {
	cursor:pointer;
}
div#postaddress .list > div:hover {
	background-color:#ffffa0;
}