.navbar-default {
    /*background-color:#FFFFFF;*/
	/*border-color: #FFFFFF;*/
	
	background-color:#F8F8FF; /*changed*/
    border-color: #F8F8FF; /*changed*/
	
}
.navbar-default .navbar-nav>li>a {
    color: #7f8c8d;
		
}
.navbar-default .navbar-nav>li>a:hover {
    color: #3498DB;
}

.navbar-inverse {
    /*background-color:#FFFFFF;*/
	/*border-color: #FFFFFF;*/
	
	background-color:#F8F8FF; /*changed*/
    border-color: #F8F8FF; /*changed*/
	
}



.navbar-inverse .navbar-nav>li>a {
    color: #7f8c8d;
	font-weight:bold; /*new*/
	
}

.navbar-inverse .navbar-nav>li>a:hover {
    color: #3498db;
}

/*Starting to fix the logo in the navigation bar*/
.navbar-brand{
	height:80px;
}
 .nav >li >a {
  padding-top: 30px;
  padding-bottom: 30px;
}
 .navbar-toggle {
  padding: 10px;
  margin: 25px 15px 25px 0;
}

.navbar-brand>img {
   max-height: 100%;
   height: 100%;
   width: auto;
   margin: 0 auto;
   /* probably not needed anymore, but doesn't hurt */
   -o-object-fit: contain;
   object-fit: contain; 

}
/*Ending to fix the logo in the navigation bar*/