@charset "UTF-8";

.informatik-blau-inverse {
    background: #0075bf;
    color: #ffffff;
}

.informatik-blau {
    color: #0075bf;
}

.text-wrong {
    color: #a52834;
}

.text-correct {
    color: #13653f;
}

.larger {
    font-size: 120%;
}