/*
 FULL RGB COLORS:           HU blue      - #00376c
                            HU red       - #8a0f14
                            HU green     - #00572c
                            HU sand      - #d2c067
                            HU graygreen - #d1d1c2
                            HU grayblue  - #bdcad3
 
 RESTRICTED RGB COLORS:     HU blue      - #003366
                            HU red       - #990000
                            HU green     - #006633
                            HU sand      - #cccc66
                            HU gray      - #cccccc
*/
* {
  margin: 0;
  padding: 0;
}
html {
  background: url(Images/bg_image.png);
  background-size: 250px 400px;
  background-repeat: repeat;
  height: 100%;
}
body {
  height: 100%;
  width: 75em;
  margin: 0;
  margin-left: auto;
  margin-right: auto;
}


nav {
  margin: 0;
  padding: 0;
  background-color: #bdcad3;
  position: fixed;
  height: 100%;
  width: 12em; /* width of nav bar */
  overflow: auto;
}
nav ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
  font-size: 1.5em;
  padding-top: 4em;
}
nav li a {
  display: block;
  color: #000000;
  padding: 8px 25px;
  text-decoration: none;
}
nav li a.active {
  background-color: #00376c;
  color: white;
}
nav li a:hover:not(.active) {
  background-color: #555;
  color: white;
}


main .lastChanges {
  padding: 5px;
  background-color: #bdcad3;
}
main .lastChanges a{
	color: #00376c;
	font-weight: 700;
  text-decoration: none;
}
main .lastChanges a:hover,a:focus {
	color: #00376c;
  text-decoration: underline;
}


main .teaching {
  margin-left: 0;
  padding: 1px 50px;
  min-height: 100vh;
  background-color: #ffffff;
}
main .content {
  margin-left: 12em;
  padding: 1px 50px 1px 25px;
  min-height: 100vh;
  background-color: #ffffff;
}


main .teaching img#logo,
main .content img#logo {
	display: block;
	margin: 2em auto;
  margin-top: 2.75em;
  float: right;
  width: 100px;
  height: 100px;
  padding-left: 20px;
}

main .teaching h1,
main .content h1 {
  color: #00376c;
  font-size: 2.2em;
  text-align: center;
  position: relative;
  padding-top: 1.5em;
  padding-bottom: 1em;
  display: inline-block;
  max-width: 86%;
}
main .teaching h1 span#semester,
main .content h1 span#semester {
  font-size: 0.6em;
}

main .teaching h2,
main .content h2 {
  font-size: 1.7em;
  padding-top: 1em;
  margin: 0;
  max-width: 86%;
}
main .teaching h2 span#back,
main .content h2 span#back {
  font-size: 0.5em;
}
main .teaching h3,
main .content h3 {
  font-size: 1.1em;
  padding-top: 0.5em;
  margin: 0;
/*  max-width: 86%; */
}


main .teaching p,
main .content p {
  font-size: 1em;
  margin: 1em 0;
/*  max-width: 86%; */
  text-align: justify;
}


main .teaching > p#code,
main .content > p#code {
  max-width: 80%;
}
main .teaching p#code,
main .content p#code {
  display: block;
  padding: 15px 3%;
  font-family: "courier new", courier, monospace;
  border-left: 6px solid #00376c;
  border-radius: 5px;
  background-color: #bdcad3;
}


main .teaching details summary,
main .content details summary{
	color: #00376c;
	font-weight: 700;
  list-style-type: none;
  cursor: pointer;
}

main .teaching a,
main .content a {
	color: #00376c;
	font-weight: 700;
  text-decoration: none;
}

main .teaching details summary:hover,summary:focus,
main .content details summary:hover,summary:focus,
main .teaching a:hover,a:focus,
main .content a:hover,a:focus {
	color: #00376c;
  text-decoration: underline;
}

main .teaching > ul,
main .content > ul,
main .teaching > p,
main .content > p,
main .teaching > table,
main .content > table {
  max-width: 86%;
}

main .teaching table,
main .content table {
/*  max-width: 86%; */
  border-collapse: collapse;
  margin: 1em 0;
}
main .teaching th,
main .content th {
  text-align: left;
  padding-top: 10px;
  padding-bottom: 5px;
}
main .teaching th,td,
main .content th,td {
  height: 30px;
  padding: 5px;
  padding-right: 20px;
}


main .content table#seminar {
  border-collapse: collapse;
  width 100%;
  max-width: 95%;
}
main .content table#seminar th, td {
  padding: 8px;
  text-align: left;
  border-bottom: 1px solid #ddd;
}
main .content table#seminar tr:nth-child(even) {
  background-color: #bdcad3;
}


main .content table#abstract {
  margin-bottom: 4em;
}
main .content table#abstract th, td {
  padding: 8px;
  text-align: left;
  border-bottom: 1px solid #ddd;
  border-top: 1px solid #ddd;
  width: auto;
}
main .content table#abstract tr#emph {
  background-color: #dddddd;
}


main .teaching ul,
main .content ul {
   list-style: none;
   margin: 1em 0;
   padding: 0; 
/*   max-width: 86%; */
}
main .teaching ul li,
main .content ul li {
   margin: 0;
   padding: 3px 10px 5px 20px;
   border-bottom: 1px solid #ccc;
}


main .teaching ul#list,
main .content ul#list {
   list-style: square outside;
   margin: 1em 0;
   padding: 0; 
}
main .teaching ul#list li,
main .content ul#list li {
   margin-left: 30px;
   padding: 3px 10px 5px 5px;
   border-bottom: none;
}


main .teaching em#red,
main .content em#red {
  color: #8a0f14;
  font-weight: bold;
  font-style: normal;
}
main .teaching em#green,
main .content em#green {
  color: #00572c;
  font-weight: bold;
  font-style: normal;
}
main .teaching em#black,
main .content em#black {
  color: #000000;
  font-weight: bold;
  font-style: normal;
}