.margin-top {
    margin-top: 10em;
}

.c9 {
    font-family: "Consolas";
    line-height: 1.1;
    margin: 0.2em;
    font-weight: 400;
    font-size: smaller;
}

.c1 {
    color: #50a14f;
}

.c2 {
    color: #a626a4;
}

.c3 {
    color: #4078f2;
}

.c4 {
    color: #986801;
}

.c5 {
    color: #e45649;
}

.c6 {
    font-style: italic;
    color: #a0a1a7;
}