:root {
  --darkblue: #123456;
  --body-white: #EEEEEE;
  --table-white1: #FFFFFF;
  --table-white2: #F2F2F2;
  --table-highlight: #8293A4;
  --section-background: #CCCCCC;
  --subsection-background: #BBBBBB;
  --button-gray: #6C757D;
  --button-gray-active: #5C636A;
  --button-blue: #123456;
  --button-blue-active: #002244;
  --button-red: #CC1212;
  --button-red-active: #AA0000;
  --green: green;
  --red: red;
}

html {
    font-family: Verdana, sans-serif;
    font-size: 16px;
}

body {
    display: flex;
    flex-direction: column;
}

main {
    width: 800px;  
    margin-left: auto;
    margin-right: auto;
}

table {
    width: 100%;
}

header {
  width: 100%;
  color: var(--body-white);
  background-color: var(--darkblue);

  display: flex;
  flex-direction: row;
  justify-content: space-around;
}

header a {
  color: var(--body-white);
  text-decoration: none;
}

input.small {
  width: 3.5em;
}