$header-color: #222;
$button-generic: #1c478a;

body {
  margin: 0;
  background-color: #111;
  color: white;
}

.header {
  background-color: $header-color;
  width: 100%;
  height: 50px;
  display: flex;
  flex-direction: row;
  padding: 0 10px;
  box-sizing: border-box;
  margin-bottom: 1rem;

  .left {
    margin: auto auto auto 0;
    font-size: 20px;
    height: 100%;

    a {
      width: inherit;
    }
  }
  .right {
    margin: auto 0 auto auto;
    height: 100%;
    display: flex;
    flex-direction: row;

    a:hover,
    a:focus {
      background-color: #333;
    }
  }
  a {
    height: 100%;
    width: 130px;
    margin: auto 0;
    display: flex;
    text-decoration: none;
    transition: background-color ease-in-out 0.1s;

    div {
      margin: auto;
      color: white;
    }
  }
}

button {
  background-color: $button-generic;
  border: 0;
  border-radius: 5px;
  color: white;
  cursor: pointer;
}

button:hover,
button:focus {
  background-color: #122d57;
}

button.good {
  background-color: #015b01;
}
button.bad {
  background-color: #8e0000;
}

.page {
  width: 1000px;
  min-height: 10px;
  margin: 0 auto;

  .horizontal-button-container {
    display: flex;
    flex-direction: row;

    button {
      width: 100px;
      min-height: 30px;
    }
  }
}

.hidden {
  display: none !important;
}
@media screen and (max-width: 1010px) {
  .page {
    width: 100%;
  }
}