body {
    background-color: #f5f5f5;   
}

#disclaimer {
    color: #b5b5b5;
    padding-left: 200px;
}

#content {
    position: relative;    
}

.perspective {
    position: relative;
    border: 0.5px solid #cccccc;
    box-shadow: 0 1px 3px rgba(0,0,0,0.5) inset;
    border-radius: 5px;
    margin: 10px;
    background-color: #ffffff;
}

.notationBox {
    position: absolute;
    top: 0;
    left: 0;
    right: 410px;
    bottom: 0;
    overflow: auto;
}

.navigation {
    position: absolute;
    top: 0;
    width: 300px;
    right: 0;
    bottom: 0;
    padding: 10px;
    border-left: 0.5px solid #cccccc;
}

div.state {
    border-radius: 5px;
    background-color: #f5f5f5;
    margin: 5px 10px;
    
    min-width: 100px;
    text-shadow: none;
    position: relative;
}

div.state.clearBtn {
    background-image: -moz-linear-gradient(top, #fff, #e0e0e0);
}

div.state.alternativeBtn {
    background-image: -moz-linear-gradient(top, #cccccc, #aaaaaa);
}

div.state.openEndBtn {
    background-image: -moz-linear-gradient(top, #ffcccc, #cc9999);
}

.btn-default:focus, .btn-default:hover {
    background-color: unset;
    background-position: unset;
}

div.state.btn .colorProbe {
    display: inline-block;
    width: 12px;
    height: 12px;
    margin-right: 5px;
    border-radius: 4px;
    border: 1px solid #999999;
    background-color: #f5f5f5;
    box-shadow: 0 0px 1px rgba(0,0,0,0.3) inset;
}

div.state.activated {
    border-color: black !important;
    box-shadow: 0 2px 4px #000000;
}

div.state:not(.activated) .colorProbe {
    background-color: #f5f5f5 !important;
}

div.state h1 {
    font-size: 14px;
    font-weight: 400;
    margin: 0;
    padding: 0;
    color: #000000;
}

div.step {
    clear: both;
    width: 250px;
    position: relative;
    padding-left: 10px;
    text-align: center;
}

div.alternatives {
    /*background-color: #e5e5e5;
    border-top: 0.5px solid #cccccc;
    border-bottom: 0.5px solid #cccccc;*/
    margin: 5px 0;
    padding: 5px 0;
    clear: both;
    width: 250px;
    position: relative;
    text-align: center;
}

div.alternatives .state {
    margin: 0 0 0 10px;
    display: inline-block;
}

div.state i.fa {
    margin-right: 5px;
    color: #333333;
}

div.alternatives .state.deadEnd {
    /*background-color: #ff9999;*/
    position: absolute;
    right: -120px;
    display: none;
}

/**VEROVIO*********/

svg:not(:root) {
    overflow: unset;
}