html {
    font-family: helvetica, arial, sans-serif;
		font-size: 11pt;
    color: #222;
}

/* Layout */

body {
	margin: 0;
	padding: 0;
	display: grid;
	grid-template-areas:
		"banner banner"
	  "nav nav"
		"menu content"
		"menu footer";
	grid-template-columns: 224px auto;
	grid-template-rows: auto auto min-content auto;
}

#strike {
    color: red;
    text-decoration: line-through;
}

#changed {
    color: green;
    text-decoration: underline;
}
#exam-banner {
	grid-area: banner;
}

/* Hide the print banner by default */
#print-header {
	grid-area: print-header;
	display: none;
}

#primary-nav {
	grid-area: nav;
	display: grid;
	grid-template-areas:
		"course menu";
	grid-template-columns: min-content auto;
}

#primary-nav > .course {
	grid-area: course;
	place-self: center;
}

#primary-nav > ul {
	grid-area: menu;
	place-self: center right;
}

#menu {
	grid-area: menu;
	margin: 0;
}

#content {
	grid-area: content;
	padding: 24px 12px;
	max-width: 960px;
	width: auto;
}

body > footer {
	grid-area: footer;
	place-self: end center;
}

@media print {
	/* When printing there is no menu and we add the print header */
	body {
		grid-template-areas:
			"print-header"
			"content"
			"footer";
		grid-template-columns: auto;
	}

	/* Show the print header */
	#print-header {
		display: block;
	}

	/* Hide the menus */
	#primary-nav {
		display: none;
	}

	#menu {
		display: none;
	}

	/* Hide the exam banner */
	#exam-banner {
		display: none;
	}
}

@media only screen and (max-width: 960px) {
	/* Move the full menu to the bottom on mobild devices */
	body {
		grid-template-areas:
			"banner"
			"nav"
			"content"
			"menu"
			"footer";
		grid-template-columns: auto;
	}

	/* Stack the main navigation */
	#primary-nav {
		grid-area: nav;
		display: grid;
		grid-template-areas:
			"course"
			"menu";
		grid-template-columns: auto;
	}

	#primary-nav > .course {
		text-align: center;
	}

	#primary-nav > ul {
		place-self: center;
		text-align: center;
	}
}

@media only screen and (min-width: 1184px) {
	/* Center the main content on extra-wide screens */
	body {
		grid-template-areas:
			"banner banner banner banner"
			"nav nav nav nav"
			"menu . content ."
			"menu . footer .";
		grid-template-columns: 224px auto 960px auto;
	}
}

/* Formatting */

/* Exam banner */
#exam-banner {
	background-color: #EE8855;
	margin: 0;
	padding: 0.4em 0.8em;
	font-size: 1.1em;
	text-align: center;
	color: #441100;
	border: 3px solid #882211;
}

/* Print banner */

#print-header {
	text-align: center;
	border-bottom: 1.5pt solid black;
}

#print-header .institution {
	font-size: 1.1em;
	padding: 0.2em 0.8em;
}

#print-header .course {
	font-weight: bold;
}

#print-header .course .name {
	font-size: 1.6em;
	padding: 0.2em 0.8em;
}

#print-header .course .offering {
	font-size: 1.4em;
	padding: 0.2em 0.8em;
}

/* Top navigation */

#primary-nav {
	background-color: rgba(16, 56, 140, 1.0);
	color: #F7F7F7;
}

#primary-nav > .course {
	margin: 4px;
}

#primary-nav > .course .name {
	font-weight: bold;
	font-size: 1.3em;
	margin: 0.3em 12px;
}

#primary-nav > .course .offering {
	font-weight: bold;
	font-size: 1.1em;
	margin: 0.2em 12px;
}

#primary-nav > ul {
	display: block;
	list-style: none;
	padding: 0;
	margin: 8px;
}

#primary-nav > ul > li {
	display: inline-block;
	padding: 0;
	margin: 4px;
}

#primary-nav > ul > li > a {
	display: block;
	padding: 0.4em 0.8em 0.4em 0.8em;
	margin: 0;
	color: black;
	text-decoration: none;
	color: #F7F7F7;
	font-weight: bold;
	border: 2px solid #F7F7F7;
}

#primary-nav > ul > li > a:hover {
	background-color: rgba(255, 255, 255, 0.2);
}

#primary-nav > ul > li > a:active {
	background-color: rgba(0, 0, 0, 0.1);
}


/* Side menu */

#menu {
  background-color: #80B1FF;
}

#menu > ul {
	display: block;
	list-style: none;
	margin: 0 0 8px 0;
	padding: 0;
}

#menu > ul > li > .name {
	display: block;
	font-weight: bolder;
	margin: 0;
	padding: 0.4em 1em 0.4em 1em;
}

#menu > ul > li > ul {
	display: block;
	margin: 0 0 0 0;
	list-style: none;
	padding: 0;
}

#menu > ul > li > ul > li {
	background-color: #99CCFF;
}

#menu > ul > li > ul.collapsed {
	display: grid;
	grid-template-columns: 1fr 1fr 1fr;
	text-align: center;
	border-width: 0 4px;
	border-style: solid;
	border-color: #80B1FF;
}

#menu > ul > li > ul.collapsed > li > a {
	border-width: 0 4px;
}

#menu > ul > li > ul > li > a, #menu > ul > li > ul > li > .inactive {
	display: block;
	padding: 0.6em 0.8em 0.6em 0.8em;
	margin: 0 0;
	border-width: 0 0 0 8px;
	border-style: solid;
	border-color: #80B1FF;
	text-decoration: none;
	color: rgba(0, 48, 256, 1);
}

#menu > ul > li > ul > li .inactive, #menu > ul > li > ul > li i  {
	color: rgba(0, 8, 24, 1);
}

#menu > ul > li > ul > li > a:hover {
	background-color: rgba(255, 255, 255, 0.2);
	border-color: rgba(112, 160, 256, 0.4);
}

#menu > ul > li > ul > li > a:active {
	background-color: rgba(0, 0, 0, 0.1);
	border-color: rgba(112, 160, 256, 0.8);
}

/* Main content */

#content > .title {
	font-size: 2em;
	font-weight: bold;
	text-align: center;
	padding: 0.4em 0.8em 0.6em 0.8em;
}

.assessment {
    color: FireBrick;
}

.warning {
  color: FireBrick;
}

/* Footer */
body > footer {
	padding: 12px;
	text-align: center;
	font-size: smaller;
}

p, h3 {
}
dt {
    font-weight: bold;
    padding: 1em;
}

/* General */

hr {
	border: 1px solid rgba(16, 56, 140, 1.0);
}

pre {
   font-size: 9pt;
   border:1px dashed #E1E1E1;
   color:#333344;
   background:#FAFAFA;
   font-family:monospace;
   overflow:auto;
   padding:0.5em;
	 margin: 12px;
}

.red {
    color: #FF0000;
}

.blue {
    color: blue;
}

/* Lectures table */
table {
	border-collapse: collapse;
	border-bottom: 2px solid rgba(16, 56, 140, 1.0);
	margin: 12px 8px;
  text-align: left;
}

table thead {
	text-align: center;
	font-weight: bold;
	border-bottom: 2px solid rgba(16, 56, 140, 1.0);
}

table td, table th {
	padding: 0.4em 0.8em 0.2em 0.8em;
}

table td {
	border-right: 1px solid rgba(16, 56, 140, 1.0);
}

table td:last-child {
	border-right: none;
}

table tbody tr {
	border-bottom: 1px dotted rgba(16, 56, 140, 1.0);
}

table tbody tr:last-child {
	border-bottom: none;
}

/* Admonitions */

.admonition {
  margin: 0.5em -4px;
  padding: 0 1em;
  overflow: hidden;
  background-color: #E0E0E0;
}

.admonition.note {
  background-color: #C7E7FF;
}

/* Intro page */

SMALL.TINY		{ font-size : xx-small }
SMALL.SCRIPTSIZE	{ font-size : xx-small }
SMALL.FOOTNOTESIZE	{ font-size : x-small  }
SMALL.SMALL		{ font-size : small    }
BIG.LARGE		{ font-size : large    }
BIG.XLARGE		{ font-size : x-large  }
BIG.XXLARGE		{ font-size : xx-large }
BIG.HUGE		{ font-size : xx-large }
BIG.XHUGE		{ font-size : xx-large }

/* Certification */

.certification {
	display: grid;
	grid-template-columns: auto auto;
}

.certification .field {
	font-weight: bold;
	padding: 2.4em 0.8em;
	place-self: center end;
}

.certification .entry {
	border-bottom: 1px solid black;
	place-self: center start;
	width: 20em;
	height: 1em;
	padding: 0.3em 0.6em;
}