.navbar-btn
  margin-right: 5px

.close-button-x
  position: relative
  &:hover
    color: #fff

.navbar-big
  font-size: 18px

.nav-projects-placeholder
  // No more box shadow

.nav
  &.projects li.ui-sortable-helper
    color: #555555
    text-decoration: none
    background-color: #ffffff
  &.pull-right
    float: right
  &.projects
    float: none !important
    // override Bootstrap 3
    overflow: hidden

.navbar
  .divider-vertical
    height: 42px
    margin: 0 9px
    border-right: 1px solid #ffffff
    border-left: 1px solid #f2f2f2
  .button-label > img
    height: 22px
    padding-right: 4px
    vertical-align: bottom

.salvus-connection-status
  width: 6.5em
  font-size: 10pt
  line-height: 10pt
  cursor: default
  margin-top: 2ex
  margin-right: 1ex

.salvus-connection-status-protocol-bad
  color: #f55

.salvus-top_navbar
  font-size: 14px
  margin-bottom: 0
  min-height: 0
  opacity: .85
  // avoid confusion when project scrolls up and is covered by top bar

.salvus-top_navbar-tab-active
  color: rgb(116, 92, 46)

.salvus-fullscreen-activate
  position: fixed
  z-index: 100000
  right: 0
  top: 0
  font-size: 12pt
  padding: 4px
  color: #999
  font-weight: bold
  &:hover
    color: #222

.salvus-fullscreen-deactivate
  position: fixed
  z-index: 100000
  right: 0
  top: 0
  font-size: 12pt
  padding: 4px
  color: #999
  font-weight: bold
  background-color: #eee
  &:hover
    background: blue
    color: white

.salvus-topbar-responsive-button
  color: #666
  font-size: 19px
  top: 2px
  position: relative

.salvus-connection-status-connecting
  background-color: red
  color: white
  padding: 1ex
  z-index: 100001

.salvus-connection-status:hover
  color: #222222

.top_navbar-button-link
  overflow: hidden
  padding: 10px 8px !important
  text-overflow: ellipsis

.top_navbar-button-template
  white-space: nowrap

.button-label, .project-pages-button-label
  -webkit-user-select: none
  -khtml-user-select: none
  -moz-user-select: none
  -ms-user-select: none
  user-select: none

@media (max-width: 767px)
  .navbar-nav
    &.pull-right, &.pull-left
      float: none !important
      font-weight: bold
      margin: 0
    li > a
      font-weight: bold
      border-radius: 3px
  .salvus-top_navbar
    position: static
  body
    padding-top: 0 !important