/* Edit the left pane */
.left-pane
{
    font-size: 14px;

    position: fixed;
    top: 85px;
    left: 0;
    /*left: 20px;*/

    display: none;

    overflow-y: auto;

    width: 200px;
    height: 100%;
    margin-left: 0;
    padding-bottom: 15px;
    padding-left: 0;

    z-index: 2000;

    background-color: white;
    /*box-shadow: 0 0 10px gray;*/
    border-right: 1px solid gray;
}

.left-pane ul > a
{
    display: block;

    margin-top: .5em;
    margin-bottom: .5em;
}

/* Display a chevron down before over-menus items */
.left-pane ul > a::before, .left-pane ul > a:before
{
    font-family: 'FontAwesome';

    margin-right: .5em;

    content: '\f078';
}

/* Display a chevron left after under-menu items */
.left-pane ul li a::after, .left-pane ul li a::after
{
    font-family: 'FontAwesome';

    margin-left: .5em;

    content: '\f054';
}


/************************/
/*   RESTYLE TOP BAR    */
/************************/
@media (max-width: 767px) {
    #userbar
    {
        margin-right: -20px;
        margin-left: -20px;
    }
}

/*Make the nex-menu fixed at the top of the page */
#userbar
{
    position: fixed;
    left: 0;
    right: 0;
    z-index: 1000;

    width: 100%;
}

/*Fix unwanted padding*/
#userbar div.col-md-12
{
  padding: 0;
}

/* Reposition menu */
@media (min-width: 480px) {
  #userbar div ul.nex-menu
  {
    padding-left: 0%;
  }
}
@media (min-width: 768px) {
  #userbar div ul.nex-menu
  {
    padding-left: 5%;
  }
}
@media (min-width: 1200px) {
  #userbar div ul.nex-menu
  {
    padding-left: 20%;
  }
}

#userbar .navbar-inner
{
    border-width: 0 0 1px;
    border-radius: 0;
}

/*The "print/export */
#userbar .nav .dropdown
{
    width: 15%;
    margin-right: 0;
    margin-left: auto;

    cursor: pointer;
}
#userbar .navbar-search + .nav
{
    margin-left: 10px;
}
/* Move the search in the top right corner */
#userbar .navbar-search
{
    height: 10%;
    /*  position: absolute;
  top: 50px; */
}

/* Edit the Menu and Back button */
.drop-menu {
  cursor: pointer;
  position: fixed;
  z-index: 2000;
  height: 55px;
  line-height: 55px;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 15px;
  padding-right: 15px;
  margin-left: 10px;
}

.drop-menu div {
  padding-left: 10px;
  padding-right: 10px;
}

/* Customize the "Menu" button on the left of the page */
.drop-menu .icon-menu {
  display: none;
}

/* Give the menu/back button hover effects*/
.hover div {
  color: white;
  background-color: #236b9b;
}

/*Edit the personal menu */
#pers-bar {
  width: 100%;
  height: 1.3em;
}

#pers-bar .container
{
  position: relative;
  display: block;
  width: 100%;
  height: 100%;
  z-index: 3000;
  background-color: #B8B8B8;
  border-bottom: 1px solid gray;
  /*box-shadow: 0 0 10px gray;*/
}

#pers-bar .container #version-message
{
  position: fixed;
  left: 50%;
  transform: positionX(-50%);
  display: inline;
  font-size: 14px;
  vertical-align: middle;
}

#pers-menu
{
    font-size: 11px;

    display: inline;

    list-style-type: none;
    margin: 0;
}
#pers-menu
{
    float: right;
}

#pers-menu ul
{
  display: inline;
}

#pers-menu li
{
    float: left;
}
#pers-menu a
{
    display: block;

    padding-right: 5px;
    padding-left: 5px;
}
/* Edit the personal menues when hover */
.pers-hover
{
    font-weight: bold;

    background-color: white;
}