
.c9-divider-double {
    position   : relative;
    overflow   : hidden;
    width      : 2px;
    height     : 23px;
    border-left:1px solid @border-highlight-dark;
    border-right:1px solid @border-highlight;
}

.c9-divider-double DIV {
    position:relative;
    width:1px;
    height:23px;
    border-left:1px solid @border-highlight;
    border-right:1px solid @border-highlight-dark;
}

.menudivider{
    border-right: 1px solid @border-highlight-dark !important;
    margin-left:10px !important;
    margin-top : -2px !important;
    height : 25px !important;
    width : 0 !important;
    margin-right : 3px;
}

.extrasdivider{
    border-right: 1px solid @border-highlight-dark !important;
    height : 25px !important;
    width : 0 !important;
    margin-right: 4px !important;
    margin-left : 4px !important;
}
    