/* Basics */

body {
	background-color: white;
	color: black;
	margin-top: 0;
	margin-bottom: 4ex;
}

body.narrow {
	margin-left: auto;
	margin-right: auto;
	max-width: 800px;
}

body.wide {
	margin-left: 1em;
	margin-right: 1em;
}

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

.pts {
	text-align: right;
}

.explain {
	font-size: smaller;
	padding-left: 1rem;
}

a:link, a:visited {
	text-decoration: none;
	color: #0000aa;
}

a:link:hover, a:visited:hover {
	text-decoration: underline;
}

blockquote {
	border-left: solid medium #555;
	margin-left: 0;
	padding-left: 2em;
	color: #333;
}

/* Heading */

#owl {
	width: 5rem;
	float: left;
	margin-right: 2rem;
}

h1 {
	padding-top: 1ex;
	margin-bottom: 1ex;
	font-size: 4ex;
}

#clean {
	clear: both;
	border-bottom: 1px solid black;
	margin-bottom: 3ex;
}

/* Flashing messages */

.flash {
	border-radius: 4px;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

.flash-error {
	background-color: #f2dede;
	color: #a94442;
	border: 1px solid #a94442;
}

.flash-info {
	background-color: #dff0d8;
	color: #1c561d;
	border: 1px solid #1c561d;
}

/* Course page */

#totalpoints {
	font-style: italic;
}

/* Posts at topic page */

.post {
	border: 1px solid blue;
	border-radius: 4px;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding-top: 0.1ex;
	padding-bottom: 0.1ex;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

.pnew {
	border: 2px solid green;
}

.pall {
	background-color: #ccffcc;
}

.pteacher {
	background-color: #ccccff;
}

.phdr {
	font-style: italic;
}

.phpast {
	color: #cc0000;
}

.points {
	font-weight: bold;
}

#previewbox {
	display: none;
}

#preview {
	border: 1px solid green;
	border-radius: 4px;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding-top: 0.1ex;
	padding-bottom: 0.1ex;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

#syntaxhelp {
	font-size: small;
	margin-left: 1em;
}

.pdfview {
	width: 100%;
	height: 90vh;
}

.pbody .hljs, #preview .hljs {
	/* Override background color in hljs styles */
	background-color: rgba(248,248,248,0.5);
	border: 1px solid rgba(224,224,224,0.5);
	border-radius: 0.5em;
}

/* List of topics at course (admin) page */

.topics {
	border-collapse: collapse;
	border: 1px solid blue;
}

.topics TR TD {
	border: 1px solid blue;
	padding: 0.3ex;
}

.topics TR TH {
	border: 1px solid blue;
	padding: 0.3ex;
}

.tnew {
	background-color: #ccffcc;
}

.told {
}

.thidden {
	background-color: #aaaaaa;
}

/* Teacher's view of results */

.results {
	border-collapse: collapse;
	border: 1px solid blue;
}

.results TR TH,
.results TR TD {
	border: 1px solid blue;
	padding: 0.3ex;
}

.snew {
	background-color: #ccffcc;
}

.sother {
	background-color: #ccccff;
}

.sold {
}

.snull {
	background-color: #cccccc;
}

.talive {
	background-color: #ccffcc;
}

.tdead {
	background-color: #ffcccc;
}

.tprivate {
	background-color: #aaaaaa;
}

.results TH.tbeforehdr,
.results TD.tbeforehdr {
	border-right: 2px solid blue;
}

/* Settings */

.settings {
	border-collapse: collapse;
	border: 1px solid blue;
}

.settings TR TD {
	border: 1px solid blue;
	padding: 0.3ex;
}

/* Generic tables */

.data {
	border-collapse: collapse;
}

.data TD, .data TH {
	border: 1px solid blue;
	padding: 0.3ex 1ex;
}

/* Main page */

.news {
	border-collapse: collapse;
}

.news TR TD {
	border: 1px solid blue;
	padding: 0.5ex;
	padding-left: 1ex;
	padding-right: 1ex;
}

.news TD:first-child {
	font-weight: bold;
	white-space: nowrap;
}

/* Buttons */

.buttons {
	display: block;
	margin-bottom: 3ex;
	margin-top: 3ex;
}

.buttons a:link:hover, .buttons a:visited:hover {
	text-decoration: none;
}

.button {
	color: #0000aa;
	border: 1px solid blue;
	border-radius: 4px;
	padding: 0.2ex 0.8ex;
	cursor: pointer;
}

.button:hover {
	background: #ccccff;
}

button, input[type='submit'] {
	background-color: white;
	color: #0000aa;
	border: 1px solid blue;
	border-radius: 4px;
	padding: 0.2ex 0.8ex;
	font: inherit;
	cursor: pointer;
}

button:hover, input[type='submit']:hover {
	background-color: #ccccff;
}

.ok, input[type='submit'].ok {
	color: #1c561d;
	border-color: #0c560d;
}

.ok:hover, input[type='submit'].ok:hover {
	background-color: #dff0d8;
}

.danger, input[type='submit'].danger {
	color: #a94442;
	border-color: #a94442;
}

.danger:hover, input[type='submit'].danger:hover {
	background-color: #f2dede;
}