.sidebar {
    padding: 48px 0 0;
}

[role="main"] {
    padding-top: 58px;
    padding-left: 20px;
    width: 100%;
    padding-right: 20px;
}

.number{
    background-color : blue;
}
.string{
    background-color : pink;
}

.navbar-brand {
    padding-top: .75rem;
    padding-bottom: .75rem;
    font-size: 1rem;
    background-color: rgba(0, 0, 0, .25);
    box-shadow: inset -1px 0 0 rgba(0, 0, 0, .25);
}

.navbar .form-control {
    padding: .75rem 1rem;
    border-width: 0;
    border-radius: 0;
}

.form-control-dark {
    color: #fff;
    background-color: rgba(255, 255, 255, .1);
    border-color: rgba(255, 255, 255, .1);
}

.form-control-dark:focus {
    border-color: transparent;
    box-shadow: 0 0 0 3px rgba(255, 255, 255, .25);
}

.highlight:hover{
    background-color: #28a745;
    color: white;
    cursor: pointer;
}

.card{
    margin: 20px;
    border:1px solid darkgrey;
}

.input_list{
    /*border:1px solid darkgrey;*/
    border-radius: 3px;
    margin: 3px;
    padding: 3px;
    font-size: 20px;
    background-color: lightgrey;
}

.bar {
    height: 18px;
    background: green;
}
#editor {
    position: absolute;
    top: 0;
    right: 0;
    bottom: 0;
    left: 0;
}
.column {
    float: left;
    width: 50%;
    padding: 10px;
    height: 500px; /* Should be removed. Only for demonstration */
}