@charset "UTF-8";

@import url('https://fonts.googleapis.com/css?family=Roboto+Mono');

body {
  font-family: 'Roboto Mono', monospace;
  margin: 0;
}

div.main {
  font-size: 16px;
  color: #22313f;
  width: 70%;
  padding-left: 15%;
  padding-right: 15%;
  padding-top: 2%;
}

div.top {
  background-color: #22313f;
  text-align: center;
  font-size: 30px;
  color: #ffffff;
}

div.top #header {
  margin-top: 0em;
  margin-bottom: 0em;
  padding-top: 1em;
  padding-bottom: 1em;
}

div.title{
  color: #ffffff;
  text-align: center;
  overflow: hidden;
}

.centered{
  display: flex;
  justify-content: center;
}

a, a:link, a:visited {
  color: #0366d6;
}

a:hover, a:focus {
  color: #22313f;
}

div.linkbar {
  background-color: #e9f2f9;
  font-size: 24px;
  width: 80%;
  color: #22313f;
  padding-left: 10%;
  padding-right: 10%;
  padding-top: 1%;
  padding-bottom: 1%;
  text-align: center;
}

div.linkbar a:link, div.linkbar a:visited {
  color: #22313f;
}

p.output{
  color:#ff7700;
}