body {
    font-family: Arial, Helvetica, sans-serif;
}

.navbar {
    background-color: lightgray;
    position: relative;
    z-index: 900;
}

.navbar ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

.navbar li {
    display: inline-block;
}

.navbar ul ul {
    position: absolute;
    top: 100%;
    display: none;
    background-color: blanchedalmond;
}

.navbar ul ul li {
    display: block;
}

.navbar li:hover ul {
    display: block;
}

.navbar button[type=submit] {
    text-decoration: none;
    border: none;
    padding: 10px 20px;
    background-color: inherit;
    display: block;
    font-size: 1em;
}

.navbar div {
    padding: 10px 20px;
}

.navbar li:hover div {
    background-color: blanchedalmond;
}

.navbar li:hover button[type=submit] {
    background-color: blanchedalmond;
}

.hidden {
    display: none;
}

table.filetable {
    border-collapse: collapse;
}

table.filetable, table.filetable th, table.filetable td {
    border: 1px solid;
} 

table.filetable th, table.filetable td {
    padding: 5px;
}

div.pagecontent {
    margin: 1em;
}

div.spacerdiv {
    height: 1em;
}

span.spacerspan {
    display: inline-block;
    width: 1em;
}

.linkbutton {
    border: none;
    background-color: transparent;
}

.linkimage {
    height: 25px;
}

.actionbutton {
    border: 1px solid black;
    background-color: white;
    font-size: medium;
}

div.vchint {
    margin: 5px;
    font-size: small;
    color:blue;
}

div.errormessage {
    color: darkred;
}

div.borderdiv {
    border: 1px solid black;
    padding: 1em;
}

div.gre {
    display: inline-block;
    padding: 3px;
    background-color: #aaffaa;
}

div.red {
    display: inline-block;
    padding: 3px;
    background-color: #ffaaaa;
}

span.redformula {
    background-color: #ffaaaa;
    display: inline-block;
    padding: 3px;
}

span.paleredformula {
    background-color: #f9e9e9;
    display: inline-block;
    padding: 3px;
}

span.blueformula {
    background-color: #aaaaff;
    display: inline-block;
    padding: 3px;
}

span.azureformula {
    background-color: rgb(175, 251, 251);
    display: inline-block;
    padding: 3px;
}

span.magentaformula {
    background-color: rgb(246, 90, 246);
    display: inline-block;
    padding: 3px;
}
span.yellowformula {
    background-color: yellow;
    display: inline-block;
    padding: 3px;
}
span.deepredformula {
    background-color: rgb(240, 87, 87);
    display: inline-block;
    padding: 3px;
}

span.greenformula {
    background-color: rgb(44, 222, 44);
    display: inline-block;
    padding: 3px;
}

span.lightgreenformula {
    background-color: rgb(151, 247, 151);
    display: inline-block;
    padding: 3px;
}

span.palegreenformula {
    background-color: rgb(228, 245, 228);
    display: inline-block;
    padding: 3px;
}

span.paleorangeformula {
    background-color: rgb(252, 202, 137);
    display: inline-block;
    padding: 3px;
}

span.pinkformula {
    background-color: rgb(248, 158, 216);
    display: inline-block;
    padding: 3px;
}

input.ncCommand {
    width: 100%;
    font-size: 120%;
    border: 1px solid black;
}

input.namesinput {
    width: 60%;
    font-size: 120%;
    border: 1px solid black;
}