body {
  /*background-color: #eee;*/
  margin-top: 40px;
}

/* Classe principale de la barre de navigation */
.navbar-default {
/* Couleur de fond de la barre de navigation */
background-color: #0E2E7D;
border: 0px solid #E7E7E7;
border-radius:0;
color:#FFFFFF;

margin-bottom: 0px;
}

.navbar-nav > li > a, .navbar-brand {
    padding-top:8px; 
    padding-bottom:0;
    height: 35px;
	font-size:15px;
}
.navbar {min-height:35px;}

.brand
{
display:none;
}

/* Couleur des titres affichés dans la barre */
.navbar-default .navbar-brand {
color: #FFFFFF;
border-right:0px solid #4BB7FF;
text-shadow: 0px 0px 8px rgba(253, 255, 237, 0.98);

}


.nav-tabs > li.active > a, .nav-tabs > li.active > a:hover, .nav-tabs > li.active > a:focus{
background-color: #DDD;
font-weight: bold;
}
.nav-tabs > li > a
{
    /* adjust padding for height*/
    padding-top: 2px; 
    padding-bottom: 2px;
}
.nav-tabs > li.active > a:focus, .nav-tabs > li.active > a
{
    margin-top: 1px;
}
.nav-tabs > li {
    margin-bottom: 0px; 
}
.nav-tabs > li.active {
    margin-bottom: -1px;    
}

/* Couleur utilisée lors du passage de la souris sur un titre de la barre */
.navbar-default .navbar-brand:hover,
.navbar-default .navbar-brand:focus {
color: #FFED00;
}
/* Couleur utilisée  pour les liens */
.navbar-default .navbar-nav > li > a {
color: #FFFFFF;
font-weight: bold;
border-right:0px solid #4BB7FF;
}
/* Couleur utilisée pour les liens lorsque la souris passe dessus */
.navbar-default .navbar-nav > li > a:hover,
.navbar-default .navbar-nav > li > a:focus {
background-color: #415989;
color: #FFED00;
}
/* Couleur utilisée pour le lien actif (celui qui est affiché sur la page) */
.navbar-default .navbar-nav > .active > a, 
.navbar-default .navbar-nav > .active > a:hover, 
.navbar-default .navbar-nav > .active > a:focus {
background-color: #415989;
color: #FFED00;
}
/* Couleur utilisée pour un menu dépliant lorsqu'il est ouvert */
.navbar-default .navbar-nav > .open > a, 
.navbar-default .navbar-nav > .open > a:hover, 
.navbar-default .navbar-nav > .open > a:focus {
color: #FFED00;
background-color: #415989;
}

/* Version mobile, le menu devient une icône qui déroule une liste avec le menu en vertical */
.navbar-default .navbar-toggle {
border-color: #DDD;
}
.navbar-default .navbar-toggle:hover,
.navbar-default .navbar-toggle:focus {
background-color: #DDD;
}
.navbar-default .navbar-toggle .icon-bar {
background-color: #FFF400;
}
@media (max-width: 767px) {
.navbar-default .navbar-nav .open .dropdown-menu > li > a {
color: #FFFFFF;
}
.navbar-default .navbar-nav .open .dropdown-menu > li > a:hover,
.navbar-default .navbar-nav .open .dropdown-menu > li > a:focus {
color: #333;
}

.navbar-default .navbar-nav .open .dropdown-menu > li > a:hover,
.navbar-default .navbar-nav .open .dropdown-menu > li > a:focus{
background-color: #415989;
color: #FFED00;
}

.brand
{
	display:initial;
    position: absolute;
    width: 100%;
    left: 0;
    text-align: center;
    margin: auto;
	color: #FFFFFF;
	border-right:0px solid #4BB7FF;
	text-shadow: 0px 0px 8px rgba(253, 255, 237, 0.98);
	padding-top:8px;
	font-size:1.2em;
}
}

.btn{
	margin-bottom:4px;
}

.bs-docs-footer{
margin-top:8px;
padding-top:8px;
text-align:center;
background-color:#0E2E7D;
color:#FFFFFF;
}


 @media screen and (max-width: 780px) {
      .vertical-menu {
        display: none;
      }
    }

.vertical-menu {
    width: 48px; /* Set a width if you like */
	float:left;
	position:fixed;
	z-index:2000;
	margin-top:-5px;
}

.vertical-menu a {
    background-color: #eee; /* Grey background color */
    color: black; /* Black text color */
    display: block; /* Make the links appear below each other */
    padding: 12px; /* Add some padding */
    text-decoration: none; /* Remove underline from links */
}

.vertical-menu a:hover {
    background-color: #ccc; /* Dark grey background on mouse-over */
}

.vertical-menu a.active {
    background-color: #4CAF50; /* Add a green color to the "active/current" link */
    color: white;
}