.fetcher {
    float:left;
    display:inline;
    border-width: 2px;
    margin-left: 3px;
    margin-right: 3px;
    background-color: #DAD8D8;
}

.plain-text {
    margin-left: 10px;
}

/* horrible "dynamic" scaling. Please learn css  */
@media (max-width: 1100px) {
    body {
        width:100%;
        height:100%;
        margin:0;
        padding:0;
        font-size: 20px;
    }

    .block {
        width:100%;
    }

    .button {
        height: 2em;
        width: 4em;
    }

    .btn{
        height: 2em;
        width: 6em;
    }

    .dropdown-menu{
        font-size: 20px;
    }

    input[type="checkbox"] {
        height: 1em;
        width: 1em;
    }

    input[type="text"] {
        width: 10em;
    }

    table {
        font-size: 20px;
    }
}