@font-face
{
  font-family: Armagetronad; 
  src: url(Armagetronad.ttf);
}

.oldbrowser
{
	width:100%;
	top:0px;
	position:fixed;
	margin-left:-8px;
	background:#C40;
	color:white;
	display:block;
	padding:5px;
	text-align:center;
}


ul.dropdown-menu
{
	color:#444
}

header
{
	overflow: visible;
}

.dropdown-menu
{
	/* ???? workaround for odd bug in firefox */
	top: unset;
	left: unset;
}

button
{
	font-weight:unset;
}

.button.inverse
{
	--button-back-color: unset !important;
	--button-fore-color: unset !important;
	border-bottom: 3px solid #08f;
	padding-bottom: 0px;
}

.nav-tabs
{
	border:0;
}

.nav-tabs > li > a
{
	transition: background 0.3s;
}

.nav-tabs > li > a:hover
{
	background-color:#444;
	border-color:#444;
}

.nav-tabs > li.active > a, .nav-tabs > li.active > a:hover, .nav-tabs > li.active > a:focus
{
	border: none;
	border-bottom: 3px solid #08f;
	padding-bottom: 9px;
	color: #ccc;
}