a {text-decoration:none;}
pre {background-color:#eaeaea; margin:2em 0;}

.navbar-light .navbar-nav .nav-link.active, .navbar-light .navbar-nav .show>.nav-link {font-weight:bold;}

#index .auswahl p {margin:1em 0}
.tableBorderTop {border-top: 2px solid #000000;}