.light-grey {
    color: lightgray;
}

.super-wide {
    width: 100%;
}

.top-space {
    margin-top: 25px;
}

.top-space-mini {
    margin-top: 10px;
}

.textarea-height {
    height: 100%;
}

.headline {
    font-size: 4vh;
    font-weight: lighter;
}

.no-hover-underline a:hover {
    text-decoration: none;
}

#decoded-text{
    white-space: pre-wrap;
}