a {
    color: #126375;
}

pre {
    text-align: left;
    white-space: pre-line;
    background-color: #eeeeee;
    padding: 1%;
    border: solid;
    border-width: 1px;
    border-radius: 8px;
    border-color: #999999;
}

.menu {
    position: fixed;
    background-color: #f3f2f2;
}

.main-title {
    background-color: #126375;
    color: white;
    border-radius: 0px 15px 0px 15px;
}

.sub-title {
    background-color: #4D818C;
    border-radius: 8px;
    color: white;
}

.subsub-title {
    background-color: #A1CAD3;
    border-radius: 6px;
    color: #126375;
}

.right-border {
    border-right: solid;
    border-color: #126375;
    border-width: medium;
}

.cli {
    color: #126375;
}

.keyword {
    color: #3434EC;
}

.number {
    color: #95663C;
}

.string {
    color: #14BF0F;
}

.bool {
    color: #8A21BE;
}

.comment {
    color: #7B7A7A;
}

.built-in {
    color: #FF9202;
}

.centered {
    min-width: 240px;
    width: 35%;
    margin: auto;
    display: block;
}