.horizontal {
    flex-direction: row;
    display: flex;
}

.vertical {
    flex-direction: column;
    display: flex;
}

.expand {
    flex: 1 1 auto;
}

.no-expand {
    flex: 0 0 auto;
}

#navigation-bar {
    height: 35px;
    flex: 0 0 50px;
    border-bottom: inset darkgray 2px;
    text-align: right;
    vertical-align: middle;
}

#body-content {
    flex: 1 1 auto;
}

button {
    background-color: transparent;
    padding: 5px;
    margin: 5px;
    color: black;
    border: outset 1px;
    cursor: pointer;
}

#logout-button {
}

#navigation-bar button {
    padding: 5px 5px 5px 0;
}