html {
  scroll-behavior: smooth;
}
body {
  -webkit-user-select: none;  /* Chrome all / Safari all */
  -moz-user-select: none;     /* Firefox all */
  -ms-user-select: none;      /* IE 10+ */
  -o-user-select: none;
  user-select: none;
  }

.header {
  overflow: hidden;
  background-color: #f1f1f1;
  /* padding: 1rem 0; */
  position: fixed;
  top: 0;
  width: 100%;
}

.header .btn {
  float: left;
  color: black;
  text-align: center;
  padding: 12px;
  text-decoration: none;
  font-size: 18px;
  line-height: 25px;
  border-radius: 4px;
  text-decoration: none;
}

.header .sub-nav .btn {
  color: black;
  text-align: center;
  padding: .2rem;
  text-decoration: none;
  font-size: 12px;
  line-height: 20px;
  border-radius: 4px;
  float:left;
}

.header .pageTitle {
  font-size: 25px;
  font-weight: bold;
}

.header a {
  text-decoration: none;
  color: black;
}

.header .btn:hover {
  background-color: #ddd;
  color: black;
}

.header .active {
  background-color: lightgreen;
  color: darkred;
}

.header-right {
  float: right;
  padding-right:1.5rem;
}

@media screen and (max-width: 500px) {
  .header .btn {
    float: none;
    /*display: block;
    text-align: left;*/
  }
  .header-right {
    float: none;
  }
}
input[type='text'],
input[type='number'],
textarea {
  font-size: 16px;
}

@media only screen and (max-width: 600px) {
  #standard-button, #big-int-button, #blockchain-button {
    max-width: 150px;
    font-size: 12px;
  }
  .header .sub-nav .btn {
    font-size: 10px;
  }
}