.navbar-inverse {
    background-color: #00426b;
    border-color: #00426b;
}

.navbar-inverse .navbar-nav>.active>a, .navbar-inverse .navbar-nav>.active>a:focus, .navbar-inverse .navbar-nav>.active>a:hover {
    color: #fff;
    background-color: #337ab7;
}

.navbar-brand {
   color: #fff !important;
   font-weight: bold;
}

#introduction {
  margin-bottom: 10px;
}

.language-header {
        position: absolute;
        margin: 20px;
        margin-top: 10px;
        right: 0;
        top: 0;
        z-index: 9999;
}

.select-style {
    border: 1px solid #ccc;
    border-radius: 3px;
    overflow: hidden;
    background: #fafafa no-repeat 90% 50%;
}

.select-style select {
    padding: 5px 8px;
    width: 130%;
    border: none;
    box-shadow: none;
    background: transparent;
    background-image: none;
    -webkit-appearance: none;
    -moz-appearance: none;

}

.select-style select:focus {
    outline: none;
}

.select-style select::-ms-expand {
    display: none;
}

#intro img {
    height:40px;
    margin-right:20px;
}

.menuButton {
   display: none !important;
}

 /**
     * Button component
     */
    .btn-navigae {
      /* default for <button>, but needed for <a> */
      display: inline-block;
      text-align: center;
      text-decoration: none;

      /* create a small space when buttons wrap on 2 lines */
      margin: 2px 0;

      margin-top:20px;

      /* invisible border (will be colored on hover/focus) */
      border: solid 1px transparent;
      border-radius: 4px;

      /* button size comes from text + padding, avoid height */
      padding: 0.5em 1em;

      /* make sure colors have enough contrast! */
      color: #FFFFFF;
      background-color: #337ab7;
    }

    /* old-school "down" effect on clic + color tweak */
    .btn-navigae:active {
      transform: translateY(1px);
      filter: saturate(150%);
    }

    /* inverse colors on hover */
    .btn-navigae:hover {
      color: #00426b;
      border-color: currentColor;
      background-color: white;
    }

    /* Firefox: remove the inner border shown on focus */
    .btn-navigae::-moz-focus-inner {
      border: none;
    }

    /* make sure we have a visible focus ring */
    .btn-navigae:focus {
      outline: none;
      box-shadow: 0 0 0 3px rgba(255, 105, 180, 0.5),
        0 0 0 1.5px rgba(255, 105, 180, 0.5);
    }

    /* hide focus style if not from keyboard navigation */
    .js-focus-visible .btn-navigae:focus:not(.focus-visible) {
      box-shadow: none;
    }
}

.form-control {
    display: block;
    width: 100%;
    padding: .5rem .75rem;
    font-size: 1rem;
    line-height: 1.25;
    color: #495057;
    background-color: #fff;
    background-image: none;
    background-clip: padding-box;
    border: 1px solid rgba(0,0,0,.15);
    border-radius: .25rem;
    transition: border-color ease-in-out .15s,box-shadow ease-in-out .15s;
    overflow: auto;
    resize: none;
}

.ptext {
  margin-top:10px;
  margin-bottom:10px;

}

.ontology {
  margin-top:40px;
  margin-bottom:40px;
  width:100%;
  text-align:center;
}

.export li {
  margin-top:10px;
}

.info {
  display: none;
}

#intro {
  text-align:center;
}