body {
    font-family: Verdana;
}

.button {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: gray;
    color: black;
    border-radius: 5px;
    margin: 4px 4px 4px 4px;
    padding: 3px 3px 3px 3px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}

.button.is-asred {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: #b70000;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 4px 4px 4px 4px;
    padding: 3px 3px 3px 3px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}

.button.is-asgreen {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: green;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 4px 4px 4px 4px;
    padding: 3px 3px 3px 3px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}

.button.is-asblue {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: #1E5EA9;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 4px 4px 4px 4px;
    padding: 3px 3px 3px 3px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}

.button.is-asgrey {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: grey;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 4px 4px 4px 4px;
    padding: 3px 3px 3px 3px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}

.button-xs.is-asgreen {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: green;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 2px 2px 2px 2px;
    padding: 2px 2px 2px 2px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}


.button-xs.is-asblue {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: #1E5EA9;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 2px 2px 2px 2px;
    padding: 2px 2px 2px 2px;
    min-width: 75px;
    font-family: Verdana;
    font-size: x-small;
}

.button-xs.is-asred {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: #b70000;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 2px 2px 2px 2px;
    padding: 2px 2px 2px 2px;
    min-width: 75px;
    font-family: Verdana;
    font-size: x-small;
}


.button.is-dark {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: black;
    border-color: transparent;
    color: #fff;
    border-radius: 5px;
    margin: 4px 4px 4px 4px;
    padding: 3px 3px 3px 3px;
    min-width: 75px;
    font-family: Verdana;
    font-size: small;
}