@font-face {
  font-family: dos-replica;
  src: url(../fonts/dos-replica.ttf);
}

div {
  font-family: dos-replica;
}

body {
  font-family: dos-replica!important;
  font-size:1.5em;
	background-color: #0000A5;
	color:white;
  text-align: center;
  padding-top:5%;
  padding-left:20%;
  padding-right:20%;

}
input[type=text] {
  width: 80%;
  padding: 12px 20px;
  margin: 8px 0;
  box-sizing: border-box;
}
h1 {
    font-family: dos-replica!important;
    font-size: 1.25em;
}
mark {
  background-color: white;
  color: #0000A5;
}

html, body {
  font-family: dos-replica;
  height: 100%;
}

input[type=button], input[type=submit], input[type=reset] {
	  font-family: dos-replica;
    font-size:1.5em;
  background-color: #fff;
  border: 1px;
  color: #0000AE;
  padding: 10px 20px;
  text-decoration: none;
  cursor: pointer;
}
/* Style the tab */
.tab {
  font-family: dos-replica;
  overflow: hidden;
  border: 1px solid #ccc;
  background-color: #0000A5;
}

/* Style the buttons that are used to open the tab content */
.tab button {
  font-family: dos-replica;
  color:#FFF;
  background-color: inherit;
  float: left;
  border: none;
  outline: none;
  cursor: pointer;
  padding: 14px 16px;
  transition: 0.3s;
}

/* Change background color of buttons on hover */
.tab button:hover {
  background-color: #fff;
  color:#0000AE;
}

/* Create an active/current tablink class */
.tab button.active {
  background-color: #ccc;
}

/* Style the tab content */
.tabcontent {
  display: none;
  padding: 6px 12px;
  border: 1px solid #ccc;
  border-top: none;
}