main_new_ui.css

li.nav-item .active{background-color: #e8e8e8;}
pre.config{background:#f4f4f4; color:#448; border-radius: 0.5em; max-height: auto; transition: all ease-in-out 0.2s;}
.hidden{max-height: 0px; padding: 0; margin: 0;}

.nav-tabs .nav-item.show .nav-link, .nav-tabs .nav-link.active {
	color: #f8f8f8;
	background-color: #456;
	border-color: #dee2e6 #dee2e6 #fff;
}

a.topbrand{font-size: 150%; margin-top: -0.2em; margin-right: 1em;}

/* no line break in top menu */
.dropdown-menu a{white-space: nowrap;}