body {
    font-family: sans-serif;
    font-size: small;
}

.top-buffer { 
    margin-top:4px; 
}

.navbutton {
    margin-right: 4px;
}

.fullwidth {
    width: 100%;
}

#splash {
    width: 100%;
    height: 300px;;
}

.highlight {
    color: #ff0000;
    font-size: medium;
}

.noShow {
    display: none;
}

.splashimage {
    object-fit: cover;
  width: 900px;
  height: 378px;
}