div.spacer{
    height: 40px;
}


div.dropdown_div{
    padding-left: 10px;
    padding-right: 10px;
}

div.dropdown_area{
    border-bottom: 1px dotted lightgrey;
    padding-left: 0px;
}

a.revision_button{
    margin-left: 10px;
}