div.prop {
    -moz-box-sizing: border-box;
    box-sizing: border-box;
    border: 1px solid black;
    position: absolute;
    background-color: #c4d5e1; /*yellow;*/
    font-size: 14px;
    font-weight: bold;
}
div.prop div {
    cursor: default;
    padding: 0px 3px;
}
div.prop div.current {
    background-color: #3366cc;
    color: white;
}
.hiddenDiv {
display: none;
}