.red {
	color: red;
}

.bold {
	font-weight: bold;
}

.hidden {
	display: none;
}

.strong {
	font-weight: bold !important;
	font-size: 120% !important;
}

.inline {
	display: inline;
}

.tableTop {
	vertical-align: top;
}

.menuItem {
	margin: 3px;
}

.menuShown {
	background: blue;
}

/* Achtung, falscher Name */
.leftIndent {
	text-align: left;
}

.leftMargin {
	margin-left: 20px;
}

.navbar {
	overflow: hidden;
	background-color: white;
	position: fixed;
	top: 0;
	width: 100%;
	border-bottom: thin solid #192db7;
	z-index: 999;
	font-size: smaller;
	padding: 5pt;
}