.deletion-menu {
float: right;
clear: right;
margin: 0 0 1em 1em;
border: 1px solid #aaa;
background-color: white;
font-size: 95%;
width: 200px;
text-align: left;
}
.deletion-menu-header {
padding: 4px;
background-color: #ffe2e0;
border-bottom: 1px solid #aaa;
font-size: 97%;
font-weight: bold;
}
.deletion-menu-counts {
font-size: smaller;
text-align: center;
}