header .navbar {
  a.brand {
    line-height: 1.5em;
  }
  img.logo {
    height: 1.5em;
    margin-right: 0.5em;
  }
  ul.nav > li > a {
    line-height: 2.5em;
  }
}

.search-page {
  .search-input {
    text-align: center;
    .input-append input {
      font-size: 24px;
      height: 40px;
      width: 10em;
    }
    .input-append button {
      font-size: 24px;
      height: 50px;
    }
    select {
      width: 100px;
    }
  }
  .search-result {
    tbody > tr {
      cursor: pointer;
    }
    tbody > td > dl > dd > ul.inline {
      margin: 0;
      li {
        margin: 0;
        padding: 0;
      }
      li::after {
        content: ", ";
        padding-right: 0.5em;
      }
      li:last-child::after {
        content: "";
      }
    }
    tbody > td > dl > dd > pre {
      background: transparent;
      border: 0;
      padding: 0;
      line-height: 20px;
      margin: 0;
    }
    tbody > td > dl > dt,
    tbody > td > dl > dd {
      margin-bottom: 1em;
    }
  }
}