html{
  background-color: #fcfcfc;
  overflow-x: hidden;
}

@font-face {
  font-family: GothamBold;
  src: url('fonts/gotham/GothamBold.woff') format('woff');
}

@font-face {
  font-family: WikiBody;
  src: url('fonts/georgia/Georgia Regular font.ttf') format('truetype');
}

@font-face {
  font-family: CodeFont;
  src: url('fonts/courier.ttf') format('truetype');
}

.bar{
  background-color: #147FD7;
  list-style-type: none;
  margin-top: -8px;
  margin-left: -8px;
  padding: 0;
  width: 100%;
  height: 44px;
  float: left;
  position: fixed;
}

li{
  float: right;
  border-right: 3px solid #177FD7;
}

li a{
  font-size: 20px;
  position: relative;
  top: 1px;
  font-family: GothamBold;
  display: inline-block;
  color: #FCFCFC;
  background-color: #177FD7;
  text-align: center;
  padding: 14px 16px;
  padding-bottom: 10px;
  text-decoration: none;
  align-items: flex-end;
  border-width: 0px;
}

li a:hover{
  background-color: darkblue;
}

.subtitle{
  /* font parameters */
  font-family: GothamBold;
  font-size: 26pt;
  color: #fcfcfc;
  /* centering */
  margin: auto;
  position: absolute;
  left: 13px;
  top: 9px;
}

.textbody{
  font-family: WikiBody;
  line-height: 1.2;
  font-size: 3.0em;
  margin-top: 20px;
  margin-left: 25px;
  margin-right: 50px;
  font-size: 14pt;
  width: auto;
  word-wrap: break-word;

}

.bighead{
  font-family: WikiBody;
  margin-left: 25px;
  margin-bottom: -10px;
  border-bottom-width: 1px;
  border-bottom-style: solid;
  border-bottom-color: black;
}

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

table{
  margin-left: auto;
  margin-right: auto;
}

code{
  font-family: CodeFont;
  color: #222;
  background: #e6e2dd;
  margin-left: 0px;
  indent: 0px;
}

.codeblock{
  font-family: CodeFont;
  color: #222;
  background: #e6e2dd;
  padding: 5px;
  margin-left: 50px;
  border-radius: 5px;
}