/******************************************************************************/
/******************************************************************************/
/*** navigation top ***********************************************************/

.navbar-fixed-top {
  background-color: #fff;
  border-bottom: 1px solid #e8e8e8;
  max-height: 50px;
  /*overflow: hidden;*/
}

/* make ul and li shown as elements of a menu instead of inputs in list */
ul.navigation-top {
  list-style-type: none;
  margin: 0px;
  padding: 0px;
}
ul.navigation-top > li {
  float: left;
}

/******************************************************************************/
/*** logo *********************************************************************/

.logo {
  font-size: 21px;
  display: inline-block;
  float: left;
  width: 215px;
}
@media (max-width: 470px) {
  .logo {
    width: 150px;
  }
}

/******************************************************************************/

.hamburger > a {
  color: #b8b8b8;
  float: left;
  height: 50px;
  padding: 15px;
  font-size: 24px;
  line-height: 19px;
  text-decoration: none;
}
.hamburger > a:hover {
  text-decoration: none;
  color: #5e5e5e;
  background-color: transparent;
}

/******************************************************************************/

.brand {
  margin-top: 8px;
  margin-left: 5px;
  float: left;
}

.brand > a {
  text-decoration: none;
}

/******************************************************************************/
/*** search *******************************************************************/

.search {
  margin-top: 10px;
  display: inline-block;
}

/* make ul and li shown as elements of a menu instead of inputs in list */
.search > ul {
  list-style-type: none;
  margin: 0px;
  padding: 0px;
}
.search > ul > li {
  float: left;
}

/******************************************************************************/

.search-input {
  width: calc(90vw - 300px);
  min-width: 63px;
  max-width: 584px;
  height: 29px;
  position: relative;
  border: 1px solid #ccc;
  background: transparent;
  display: inline-block;
}
.search-input:hover {
  border-color: #aaa;
}

/******************************************************************************/

.search-box {
  background-color: transparent;
  border-width: 0;
  font-size: 16px;
  padding-left: 7px;
  padding-bottom: 3px;
  width: 100%;
  height: 100%;
}

/******************************************************************************/

.search-button > button {
  padding-top: 4px;
  padding-bottom: 4px;
  padding-left: 25px;
  padding-right: 26px;
  border-radius: 0px;
  border: 1px solid #ccc;
  border-left: 0px;
  color: #999;
  font-size: 12px;
  line-height: 19px;
}
@media (max-width: 626px) {
  .search-button > button {
    padding-left: 2px;
    padding-right: 3px;
  }
}

/******************************************************************************/
/******************************************************************************/
/*** navigation left **********************************************************/

.navbar-fixed-left {
  background-color: #fff;
  top: 50px;
  width: 230px;
  height: 100%;
  position: fixed;
  border-radius: 0;
  border-right: 1px solid #e8e8e8;
  box-shadow: none;
  z-index: 5000;
}
@media (max-width: 1150px) { /* it should agree with .page @media and the bound
                                value in is_big function */
  .navbar-fixed-left {
    display: none;
    box-shadow: 5px 10px 15px 5px rgba(0,0,0,.5);
  }
}

.pre-scrollable {
  max-height: calc(100% - 50px);
  overflow-y: auto;
}

#list-container {
  padding-top: 13px;
  padding-bottom: 13px;
  padding-left: 22px;
  padding-right: 11px;
}

/******************************************************************************/

ul.nav > li > a {
  padding-top: 1px;
  padding-bottom: 0px;
  padding-left: 6px;
  color: inherit;
  text-decoration: inherit;
  font-size: 13px;
  line-height: 14px;
  height: 22px;
}
ul.nav > li > a:hover {
  background-color: #ccc;
}

ul.nav > li > a > img {
  margin-top: 2px;
  margin-bottom: 2px;
  margin-right: 10px;
}

ul.nav > hr {
  margin-top: 8px;
  margin-bottom: 8px;
  width: 169px;
  border-top: 1px solid #e2e2e2;
}