html { font-size: 14px; }
.schema_tree  {
    height:   600px;
    overflow: auto;
}
.imgcenter {
    display: flex;
    justify-content: center;
    align-items: center;
}
.spec_iframe {
    width: 100%;
    height: 12000px;
    overflow: hidden;
}
.schema_tree_lookup  {
    height:   380px;
    overflow: auto;
}
.scrollable-menu {
    height: auto;
    max-height: 420px;
    overflow-x: hidden;
}
#myNavbar {
    position: relative;
}

#myNavbar .nav {
    position: absolute;
    bottom: 0;
    left: 220px;
    margin-bottom: -5px;
}
div.c-wrapper{
    width: 80%; /* for example */
    margin: auto;
}

.carousel-inner > .item > img,
.carousel-inner > .item > a > img{
width: 100%; /* use this, or not */
margin: auto;
}

.button {
    background-color: #4CAF50;
    border: none;
    color: white;
    padding: 20px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 16px;
    margin: 4px 2px;
}

.button1 {border-radius: 2px;}
.button2 {border-radius: 4px;}
.button3 {border-radius: 8px;}
.button4 {border-radius: 12px;}
.button5 {border-radius: 50%;}


.btn {
  box-sizing: border-box !important;
  -webkit-appearance: none !important;
     -moz-appearance: none !important;
          appearance: none !important;
 #border-radius: 0.6em !important;
  cursor: pointer !important;
  align-self: center !important;
  font-size: 1rem !important;
  font-weight: 400 !important;
  #line-height: 1 !important;
  margin: 2px !important;
  text-decoration: none !important;
  text-align: center !important;
  font-family: 'Montserrat', sans-serif !important;
  font-weight: 700 !important;
}
 .btn:focus {
  outline: 0 !important;
}



.btn-primary {
  border-color: #0069d9 !important;
  color: #fff !important;
  box-shadow: 0 0 40px 40px #0069d9 inset, 0 0 0 0 #0069d9 !important;
  -webkit-transition: all 150ms ease-in-out !important;
  transition: all 150ms ease-in-out !important;
}

.btn-primary:hover {
  background-color: transparent !important;
  box-shadow: 0 0 10px 0 #0069d9 inset, 0 0 10px 4px #0069d9 !important;
  color: #0069d9 !important;
}

.btn-danger {
  border-color: #dc3545 !important;
  color: #fff !important;
  box-shadow: 0 0 40px 40px #dc3545 inset, 0 0 0 0 #dc3545 !important;
  -webkit-transition: all 150ms ease-in-out !important;
  transition: all 150ms ease-in-out !important;
}

.btn-danger:hover {
  background-color: transparent !important;
  box-shadow: 0 0 10px 0 #dc3545 inset, 0 0 10px 4px #dc3545 !important;
  color: #dc3545 !important;
}