.figure {
  float : right ;
  /* clear : both ; */
  width : 66% ;
  background: white ;
  padding : 2px ;
  resize: both ;
   overflow: hidden;
   direction: rtl ;
   z-index: -1 ;
}
.figure img  {
  clear : both ;
  text-align : center ;
  /* height : 240px ; */
  /* width : 320px ; */
  width: 100% ;
}
.video  {
  float : right ;
  /* clear : right ; */
  border-style : none ;
  border-color : black ;
}
video  {
  padding : 1mm ;
  padding-bottom : 0mm ;
  clear : both ;
  height : 240px ;
  width : 320px ;
}
div.author, div.date {
   display: inline ;
}
#topcontainer {
           background-color: white;
           width: 100%;
           clear: both;
           height: 56px; /**/
           /* border-top: 10px solid white ; */
           margin-bottom: -20px;
           color: /* NTNU main blue */ #00509E;
}
#topcontainer .lhfull {
           font-size: 1.8em;
           font-weight : bold ;
	   text-align : left ;
	   clear : both ;
}
#topcontainer .lh {
           font-size: 1.8em;
           font-weight : bold ;
	   float : left ;
}
#topcontainer .lhsub {
           font-size: 0.9em;
           font-weight : bold ;
	   float : left ;
}
#topcontainer .rh {
           font-size: 0.9em;
           font-weight : bold ;
	   float : right ;
}

#pageheadcontainer {
           width: 100%;
           background-color: /* NTNU main blue */ #00509E;
           clear: both;
           height: 100px ; /* 90px */
           border-bottom: 6px solid #22221E;
           border-top: 6px solid #22221E;
           text-align: center;
           /* font-size: 2.5em; /**/
           color: white ;
           /* line-height: 30px; */
           margin-bottom: 0px;
           margin-top: 7px;
}
#pageheadcontainer h1 {
           margin : 5px 5px 5px 5px ;
           text-align: center;
           color: white ;
           font-size: 2.4em ;
}
#pageheadcontainer h2 {
           margin : 5px 5px 5px 5px ;
           text-align: center;
           color: white ;
           font-size: 1.5em ;
}

body {
   font-size: 1.2em ;
}
a:link {
    color: /* NTNU main blue */ #00509E;
}
a:visited {
    color: /* NTNU */ rgba( 121, 162, 206, 1 ) ;
}
a:hover {
    color: /* NTNU */ rgba( 173, 32, 142, 1 ) ;
}
a:active {
    color: white; 
    background-color: /* NTNU */ rgba( 173, 32, 142, 1 ) ;
}
.verb {
   font-family: monospace ;
}
dl.enumerate-enumitem {
   overflow: auto ;
}

/* crosslinks */
.crosslinkbox {
   position: fixed ;
   right: 2px ;
   bottom: 2px ;
   /* background-color: rgba( 92, 190, 201, 0.4 ) ; */
   background-color: /* NTNU sand 1 */ rgba( 223, 216, 197, 0.5 ) ;
}

/* This is for the subsection TOC */
.subsectionTOCS {
   padding-bottom: 2ex ;
}

/* Set margin on the main contents area to give room for sidebar */
#contents {
   margin-left: 15em ;
   width: auto ;
   max-width: 1400px ;
}

/* This is the parent box on the left hand side */
#Navigation-links {
    font-size: 0.9em;
    position: absolute ;
    float: left; /**/
    width: 15em;
    margin: 0.25em 0.5em 0.25em 0em ; 
    background-color: /* NTNU sand 1 */ rgba( 223, 216, 197, 0.5 ) ;
    padding: 0px;
    /* border: 1px solid red; */
  }
#Navigation-links ul {
    list-style: inside none none;
    margin: 0 0 0 0 ;
    padding: 0.2em;
    width: 100% ;
}
#Navigation-links ul a {
    display: block ;
}

/* The TOC inside the left hand sidebar. */
.toc-section {
    font-size: 0.9em;
    width: 100% ;
    /* oben links/rechts unten */
    /* margin: 0 0 1.2em; */
    /* oben rechts unten links */
    margin: 0.2em 0 0 0;
    padding: 0em;
    /*
    border: 1px dashed silver;
    background-color:green;
    */
    list-style: none;
  }
  .toc-section > a {
    padding: 0.2em ;
    margin: 0px ;
    width: 95% ;
    margin-right: 3em ;
    font-weight: bold;
  }
  .toc-section > a:link {
    color: black; 
    /* background-color:  rgba( 213, 209, 14, 0.5 ) ; /* NTNU */
    background-color: /* NTNU sand 1 */ rgba( 223, 216, 197, 1 ) ;
  }
  .toc-section > a:visited {
    color: black; 
    /* background-color:  rgba( 213, 209, 14, 0.5 ) ; /* NTNU */
    background-color: /* NTNU sand 1 */ rgba( 223, 216, 197, 1 ) ;
  }
  .toc-section > a:hover {
    color: white ; 
    background-color: /* NTNU brown */ rgba( 144, 73, 45, 1 ) ;
  }
  .toc-section > a:active {
    color: white; 
    background-color: gray;
  }
.toc-subsection {
    font-size: 0.8em;
    width: 90% ;
    /* oben rechts unten links */
    margin: 0 0 0em 1em;
    padding: 0.1em;
    /* border: 1px dashed silver; */
    list-style: none;
  }
  .toc-subsection a {
    padding: 0.2em;
    font-weight: bold;
  }
  .toc-subsection a:link {
    color: #666; 
  }
  .toc-subsection a:visited {
    color: #666; 
  }
  .toc-subsection a:hover {
    color: black; 
    background-color: white;
  }
  .toc-subsection a:active {
    color: white; 
    background-color: gray;
  }
.toc-subsubsection {
    font-size: 0.7em;
    width: 100% ;
    /* oben rechts unten links */
    margin: 0 0 0 2em; 
    padding: 0em;
    /*
    border: 1px dashed silver;
    display: none; %  <<<<  KEINE DRITTE EBENE!!!!!
    */
    list-style: none;
}

/* Collapse subsections */



/* The list of subsections under each toc-section is hidden by default */
.toc-section > ul {
   display: none ;
}
/* The subsections are shown if the preceeding checkbox is ticked */
.toc-section input:checked~ul {
   display: block ;
}
/*
.toc-section input {
   position: relative ;
   float: right ;
   bottom: 2ex ;
   right: 0.05em ;
}
*/

/* The checkbox itself is hidden, we make a nice label instead */
.toc-collapse {
  display: none;
}

/* This is the label for the checkbox */
.collapse-label {
   /* Move it up to the right to look part of the section line */
   position: relative ;
   float: right ;
   bottom: 3ex ;
   right: 0.5em ;
   /* Make it look like a button */
   border: solid 1px ;
   background-color: white ;
   cursor: pointer;
   /* Font */
   font-size: 0.9em ;
   font-weight: bold;
   /* Size it and center text */
   width: 0.9em ;
   text-align: center ;
}
/* The label should contain two spans, for checked and uncecked state resp. */
.collapse-minus {
  display: none;
}
.toc-collapse:checked + .collapse-label .collapse-minus {
  display: inline;
}
.toc-collapse:checked + .collapse-label .collapse-plus {
  display: none;
}
@media screen and (max-width: 800px ) {
  aside#Navigation-links {
     /* display: none; */
    position: static ;
    float: none; /**/
    width: auto ;
  }
  #contents {
     margin: 0px;
  }
}
.quotation {
   font-style: italic ;
}

/* Fix peculiarities for MathJax */
.equation-star td {
   border: none ;
}

/* Footer (header has its own file) */
footer {
   clear: both ;
}

/* Tweeks */

.clear {
   clear : both ;
}


/* Listings */
code .label {
   padding-right: 0.8em ;
}
code {
     background : LemonChiffon  ;
}
code.haskell {
     background : Aquamarine  ;
}
code.block {
     /* white-space: pre ; */
     padding : 1mm ;
     display : block ;
}
/* Tables */

dt {
   color : red ;
}
table {
   border : 1 ;
}
em.alert {
   color : red ;
}
th {
   border-width : 1px ;
   background : blue ;
   color : white ;
   padding : 1mm ;
}
th.session {
   background : pink ;
   color : black ;
   min-width : 2in ;
}
th.slides {
   min-width : 20mm ;
}
th.video {
   min-width : 12cm ;
}
td {
   border-width : 1px ;
   border-color : blue ;
   border-style : solid ;
   padding : 1mm ;
   min-width : 15mm ;
}
td.primary {
   background : #66FF99 ;
   min-width : 12cm ;
}
td.secondary {
   background : #00CCFF ;
}
td.example {
   background : purple ;
}
td.example a:link {
   color : white ;
}
td.example a:visited {
   color : #707070 ;
}
td.anecdotal {
   background : yellow ;
}
td.deprecated {
   background : black ;
   color : red ;
}
td.deprecated a:link {
   color : pink ;
}
td.deprecated a:visited {
   color : gray ;
}
td.day {
   background : #00CCFF ;
}
.newtheorem  {
   padding: 0px 2px 3px ;
   margin: 3px ;
}
.newtheorem span.head {
   font-weight : bold ;
	padding-left : 1em ;
	padding-right : 1em ;
	color: white ;
        display: block;
        position: relative ; /* could also be absolute */ 
	width: 24em;
        top: 0;
        left: 0;
	z-index: 10;
}
.worked + .newtheorem  {
   background-color : rgba( 0, 80, 158, 0.35 ) ; 
}
.worked + p + .newtheorem  {
   background-color : rgba( 0, 80, 158, 0.35 ) ; 
}
.worked + .newtheorem span.head {
   background-color : rgba( 0, 80, 158, 1 ) ; 
}
.worked + .newtheorem p span.head {
   background-color : rgba( 0, 80, 158, 1 ) ; 
}
.worked + p + .newtheorem span.head {
   background-color : rgba( 0, 80, 158, 1 ) ; 
}
.problem + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.problem + p + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.problem + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.problem + .newtheorem p span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.problem + p + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.solution + .newtheorem  {
   background-color : rgba( 201, 212, 178, 0.35 ) ; 
}
.solution + p + .newtheorem  {
   background-color : rgba( 201, 212, 178, 0.35 ) ; 
}
.solution + .newtheorem span.head {
   background-color : rgba( 201, 212, 178, 1 ) ; 
}
.solution + .newtheorem p span.head {
   background-color : rgba( 201, 212, 178, 1 ) ; 
}
.solution + p + .newtheorem span.head {
   background-color : rgba( 201, 212, 178, 1 ) ; 
}
.explanation + .newtheorem  {
   background-color : rgba( 201, 212, 178, 0.35 ) ; 
}
.explanation + p + .newtheorem  {
   background-color : rgba( 201, 212, 178, 0.35 ) ; 
}
.explanation + .newtheorem span.head {
   background-color : rgba( 201, 212, 178, 1 ) ; 
}
.explanation + .newtheorem p span.head {
   background-color : rgba( 201, 212, 178, 1 ) ; 
}
.explanation + p + .newtheorem span.head {
   background-color : rgba( 201, 212, 178, 1 ) ; 
}
.study + .newtheorem  {
   background-color : rgba( 144, 73, 45, 0.35 ) ; 
}
.study + p + .newtheorem  {
   background-color : rgba( 144, 73, 45, 0.35 ) ; 
}
.study + .newtheorem span.head {
   background-color : rgba( 144, 73, 45, 1 ) ; 
}
.study + .newtheorem p span.head {
   background-color : rgba( 144, 73, 45, 1 ) ; 
}
.study + p + .newtheorem span.head {
   background-color : rgba( 144, 73, 45, 1 ) ; 
}
.theorem + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.theorem + p + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.theorem + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.theorem + .newtheorem p span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.theorem + p + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.lemma + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.lemma + p + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.lemma + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.lemma + .newtheorem p span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.lemma + p + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.corollary + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.corollary + p + .newtheorem  {
   background-color : rgba( 173, 32, 142, 0.35 ) ; 
}
.corollary + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.corollary + .newtheorem p span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.corollary + p + .newtheorem span.head {
   background-color : rgba( 173, 32, 142, 1 ) ; 
}
.definition + .newtheorem  {
   background-color : rgba( 221, 231, 238, 0.35 ) ; 
}
.definition + p + .newtheorem  {
   background-color : rgba( 221, 231, 238, 0.35 ) ; 
}
.definition + .newtheorem span.head {
   background-color : rgba( 221, 231, 238, 1 ) ; 
}
.definition + .newtheorem p span.head {
   background-color : rgba( 221, 231, 238, 1 ) ; 
}
.definition + p + .newtheorem span.head {
   background-color : rgba( 221, 231, 238, 1 ) ; 
}
.example + .newtheorem  {
   background-color : rgba( 245, 128, 37, 0.35 ) ; 
}
.example + p + .newtheorem  {
   background-color : rgba( 245, 128, 37, 0.35 ) ; 
}
.example + .newtheorem span.head {
   background-color : rgba( 245, 128, 37, 1 ) ; 
}
.example + .newtheorem p span.head {
   background-color : rgba( 245, 128, 37, 1 ) ; 
}
.example + p + .newtheorem span.head {
   background-color : rgba( 245, 128, 37, 1 ) ; 
}
.remark + .newtheorem  {
   background-color : rgba( 223, 216, 197, 0.35 ) ; 
}
.remark + p + .newtheorem  {
   background-color : rgba( 223, 216, 197, 0.35 ) ; 
}
.remark + .newtheorem span.head {
   background-color : rgba( 223, 216, 197, 1 ) ; 
}
.remark + .newtheorem p span.head {
   background-color : rgba( 223, 216, 197, 1 ) ; 
}
.remark + p + .newtheorem span.head {
   background-color : rgba( 223, 216, 197, 1 ) ; 
}
.Assignment + .newtheorem  {
   background-color : rgba( 144, 73, 45, 0.35 ) ; 
}
.Assignment + p + .newtheorem  {
   background-color : rgba( 144, 73, 45, 0.35 ) ; 
}
.Assignment + .newtheorem span.head {
   background-color : rgba( 144, 73, 45, 1 ) ; 
}
.Assignment + .newtheorem p span.head {
   background-color : rgba( 144, 73, 45, 1 ) ; 
}
.Assignment + p + .newtheorem span.head {
   background-color : rgba( 144, 73, 45, 1 ) ; 
}