/* --------------------------------------
   Layout
   -------------------------------------- */

footer{
   background: #333;
   color: #eee;
   font-size: 11px;
   padding: 20px;
}

/* --------------------------------------
   Typography
   -------------------------------------- */

body{
   -webkit-font-smoothing: antialiased;
   textrendering: optimizelegivility;
}

.modal-dialog {
   overflow-y: initial;
}

.modal-body {
   height: 400px;
   overflow-y: auto;
}

#signaler img.figure {
   display: block;
   margin-left: auto;
   margin-right: auto;
}

ul.unstyled {
   list-style: none;
   padding: 0;
}

span {
   display: inline-block;
}

#timeShift {
   padding: 0;
   margin: 0;
}

#left {
   padding: 0;
   margin: 0;
}

#disc {
   padding: 0;
   margin-left: 100px;
}

/* Buttons */

button.challenge {
   margin: 20px 0;
}

/* --------------------------------------
   Navbar
   -------------------------------------- */

.navbar-brand {
   padding: 13px 15px;
}

/* --------------------------------------
   Global Styles
   -------------------------------------- */

#intro {
   margin-top: 70px;
}

#komplex {
   margin-top: 70px;
}

#signaler {
   margin-top: 70px;
}

#LTI {
   margin-top: 70px;
}

.alert {
   margin-top: 20px;
   display: none;
}

#LTI img {
   display: block;
   margin: 0 auto;
}

#signaler img.split {
   display: inline-block;
   padding: 30px;
   width: 100%;
   height: auto;
}

/* --------------------------------------
   Media Queries
   -------------------------------------- */

/* Portrait & landscape phone */

/* Landscape phone to portrait tablet */
@media (max-width: 768px) {
	#LTI img {
      width: 70%;
      height: auto;
   }

   #mathforms {
      width: 70%;
      height: auto;
   }

   #signaler img {
      width: 70%;
      height: auto;
   }

   #signaler img.split {
      width: 100%;
      margin-right: auto;
      margin-left: auto;
      padding: 0 20 0 0;
   }

   #disc {
      margin-left: 30px;
   }
}   
/* Large desktop */
@media (min-width: 1200px) {


}

@media (max-width: 450px) {
   #LTI img {
      width: 100%;
      height: auto;
   }

   #signaler img {
      width: 100%;
      height: auto;
      margin-left: 0;
      margin-left: 0;
   }

   #mathforms {
      width: 100%;
      height: auto;
   }
}

/* --------------------------------------
   Latex
   -------------------------------------- */

   div.sourceCode { 
      overflow-x: 
      auto; 
   }

   table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
      margin: 0; 
      padding: 0; 
      vertical-align: baseline; 
      border: none; 
  }

   table.sourceCode { 
      width: 100%; 
      line-height: 100%; 
   }

   td.lineNumbers { 
      text-align: right; 
      padding-right: 4px; 
      padding-left: 4px; 
      color: #aaaaaa; 
      border-right: 1px solid #aaaaaa; 
   }

   td.sourceCode { 
      padding-left: 5px; 
   }

   code > span.kw { color: #007020; font-weight: bold; } /* Keyword */
   code > span.dt { color: #902000; } /* DataType */
   code > span.dv { color: #40a070; } /* DecVal */
   code > span.bn { color: #40a070; } /* BaseN */
   code > span.fl { color: #40a070; } /* Float */
   code > span.ch { color: #4070a0; } /* Char */
   code > span.st { color: #4070a0; } /* String */
   code > span.co { color: #60a0b0; font-style: italic; } /* Comment */
   code > span.ot { color: #007020; } /* Other */
   code > span.al { color: #ff0000; font-weight: bold; } /* Alert */
   code > span.fu { color: #06287e; } /* Function */
   code > span.er { color: #ff0000; font-weight: bold; } /* Error */
   code > span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
   code > span.cn { color: #880000; } /* Constant */
   code > span.sc { color: #4070a0; } /* SpecialChar */
   code > span.vs { color: #4070a0; } /* VerbatimString */
   code > span.ss { color: #bb6688; } /* SpecialString */
   code > span.im { } /* Import */
   code > span.va { color: #19177c; } /* Variable */
   code > span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
   code > span.op { color: #666666; } /* Operator */
   code > span.bu { } /* BuiltIn */
   code > span.ex { } /* Extension */
   code > span.pp { color: #bc7a00; } /* Preprocessor */
   code > span.at { color: #7d9029; } /* Attribute */
   code > span.do { color: #ba2121; font-style: italic; } /* Documentation */
   code > span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
   code > span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
   code > span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */