/* 
    Created on : 12.03.2014, 11:34:13
    Author     : lars
*/
/* 
    Created on : 12.03.2014, 11:37:08
    Author     : lars
*/
.navbar.top {
  background-color: #ffffff;
  color: #3c4a95;
  border: none;
}
.navbar.top .navbar-brand {
  padding: 7px 15px;
}
.navbar.top .navbar-toggle {
  color: #3c4a95;
  border-color: #3c4a95;
}
.navbar.top .navbar-toggle .icon-bar {
  border-bottom: 2px solid #3c4a95;
}
.navbar.top p.navbar-text {
  padding-left: 15px;
  padding-right: 15px;
}