mo.css

body {
	display: flex;
	flex-direction: column;
	background-color: white;
	color: black;
	margin: 0;
	min-height: 100vh;
}

.content, main {
	display: block;
	margin: 0 auto;
	padding: 0 1em;
	max-width: 1000px;
	width: 100%;
}

header {
	padding: 10px 0px;
}

header.flavor-test {
	background-color: #33cc33;
}

header.flavor-devel {
	background-color: #cc77cc;
}

main {
	padding: 1em;
}

header .content {
	display: flex;
}

header img { height: 60px; }

header h1 { margin: auto 20px 0px; color: #222; }

#nav-wrapper {
	position: sticky;
	top: 0;
	background-color: #222;
	border: 1px #222 solid;
	z-index: 10;
}

footer {
	margin-top: auto;
}

.error {
	color: red;
	font-weight: bold;
}

.okay {
	color: green;
	font-weight: bold;
}

span.unknown {
	font-weight: bold;
	color: red;
}

table.data {
	border-collapse: collapse;
	margin-top: 2ex;
	margin-bottom: 2ex;
}

table.data.full {
	width: 100%;
}

table.data tbody tr:hover {
	background-color: #ddd;
}

table.data tr td, table.data tr th {
	border: 1px solid #222;
	padding: 0.1ex 0.5ex;
}

table.data.center th, table.data.center td {
	text-align: center;
}

table.data thead, table.data tfoot {
	background-color: #aaa;
}
table.data thead a, table.data tfoot a {
	color: rgb(0, 22, 121);
}

table.data thead th {
	padding: 0.4ex 0.5ex;
}

table.data td.sol {
	background-color: lightgreen;
}
table.data td.sol a {
	color: black;
}
table.data td.sol-late {
	background-color: #ffaaaa;
}

table tr.testuser {
	opacity: 0.5;
}

nav#main-menu {
	display: flex;
	flex-wrap: wrap;
}

nav#main-menu a, nav#main-menu input[type=submit] {
	background: none;
	border: none;
	margin: 0px;
	color: white;
	font-size: 1em;
	text-align: center;
	padding: 14px 16px;
	text-decoration: none;
}

/* Only the first item with .right class does the margin trick */
nav#main-menu > .right { margin-left: auto; }
nav#main-menu > .right ~ .right { margin-left: 0px; }

nav#main-menu a:hover:not(.active), nav#main-menu input[type=submit]:hover {
	cursor: pointer;
	background-color: #555;
	color: white;
}

nav#main-menu a.active {
	background-color: #ddd;
	color: black;
}

.form-group.required .control-label:after {
	content:"*";
	color:red;
}

.form-frame {
	padding: 10px;
	border: 1px #ddd solid;
	border-radius: 4px 4px;
}

/* Round states */

.rstate-preparing {
	color: red;
}

.rstate-running {
	color: green;
}

.rstate-grading {
	color: magenta;
}

.rstate-closed {
	color: black;
}

/* Solutions */

.sol-active {
	background-color: yellow;
}

.sol-late {
	color: red;
}

/* Jobs */

table.data tbody tr.job-running {
	background-color: #f8f;
}

table.data tbody tr.job-running:hover {
	background-color: #a6a;
}

table.data tbody tr.job-done {
	background-color: #8f8;
}

table.data tbody tr.job-done:hover {
	background-color: #6a6;
}

table.data tbody tr.job-failed {
	background-color: #f88;
}

table.data tbody tr.job-failed:hover {
	background-color: #a66;
}

/* Users */

.user-inactive {
	color: red;
}