/* CSS */

.menu
{
	background-color: gray;
	float: left;
	padding: 1em;
}

.toc
{
}

ol { list-style-type: decimal; }
ol ol { list-style-type: lower-alpha; }
ol ol ol { list-style-type: lower-roman; }
ol ol ol ol { list-style-type: lower-greek; }

.headerDiv {
	display: flex;
}

.partAutomaton {
	width: 20%;
	max-width: 150px;
	margin-right: 20px;
}

.titleAndToc {
	width: 100%;
}

p
{
	font-family: sans-serif;
}

h1
{
	font-family: sans-serif;
	font-size: 150%;
	background-color: gray;
	color: yellow;
	text-align: right;
	padding: 1em;
	letter-spacing: 120%;
	margin-top: 0;
}

img {
	max-width: 50vh;
}

.homeTheme {
	background-color: gray;
}

.teachingTheme {
	background-color: red;
}

.researchTheme {
	background-color: blue;
}

footer {
	font-size: small;
}

.resourceTheme {
	background-color: green;
}

/* .h1over
{
	background-color: gray;
} */

ul
{
	list-style-position: inside;
}

li
{
	font-family: sans-serif;
} 

.foreignLink:after
{
	content: "⇲";
}

.brokenLink
{
	text-decoration: line-through;
}

.invisible
{
	visibility: hidden;
}

.yellow
{
	background-color: yellow;
}

.content
{
	margin: 2em;
	padding: 2em;
	clear: both;
}

.courseItem {
}

.currentCourseItem {
	background-color: yellow;
}

.footer
{
	font-size: 75%;
}

.CodeMirror {
	  height: auto;
	  border: 1px solid #eee;
      // resize: vertical;
      // overflow: auto !important;
}

.CodeMirror-scroll {
	max-height: 80vh;
}