/*Remover the blue selected*/
  .navbar-default .navbar-nav .open .dropdown-menu > .active > a,
  .navbar-default .navbar-nav .open .dropdown-menu > .active > a:hover,
  .navbar-default .navbar-nav .open .dropdown-menu > .active > a:focus {
    background-color: #080808;
}

/*Own*/
.dropdown {font-size:90%}
.dropdown-menu {font-size:100%}

body { padding-top: 70px; }

/*Headings*/
h4 {font-style: italic}
h5 {font-weight:bold;}
h3.smaller{font-size:200%;}

/*Examples*/
.example-break {font-style: italic; display: block}
.example-nobreak {font-style: italic}

/*Sidebars*/
.sidebar{width:300px; border: 5px double; margin: 5px 0px 5px 5px; padding: 5px; text-align: justify; border-radius:1em; background-color:white}
.sidebar-title{text-align: center; font-weight:bold; display: block}

/*Sources*/
li.source{padding-left: 2em; text-indent: -2em;}

/*Right menu*/
.rightmenu{font-size:75%; border: 5px double; border-radius:1em; padding:5px}
.inhoud{font-size:125%;}

 .anchor {
    padding-top: 60px;
    margin-top: -60px;
  }
  
ul.second{
  margin-left:15px;