html.screen-height, html.screen-height body, html.screen-height .container-fluid {
    height: 100%;
}

main {
    padding-top: 75px;
    padding-bottom: 75px;
}

a {
    color: inherit;
}

thead th {
    position: sticky;
    background-color: inherit;
    top: 0;
}

/* compensate for the sticky nav header when linking to anchor */
[id] {
    scroll-margin-top: 75px;
}

html.device-immobile {
    overflow-y: scroll;
}

div#base_messages a, div#base_messages span {
    display: block;
}

html.device-mobile div#base_messages {
    text-align: center;
}

div#nav_buttons {
    padding-bottom: 5px;
}

nav.main-navbar i.fad {
    font-size: 20pt;
}

.navbar-nav.nav-horizontal {
    flex-direction: row;
}

.navbar-nav.nav-horizontal .nav-item {
    margin-left: 30px;
}

form.default-form {
    width: 600px;
}

.big-button {
    font-size: 20pt;
    padding-top: 5px;
    padding-bottom: 5px;
}
