/* TODO change 1s to 10s again */

body {
    font-family: sans-serif;
    font-size: 31px;
    line-height: 1.4;
}

a {
    text-decoration: none;
    color: black;
    text-shadow: 1px 1px #a0a0a0;
}

a:hover {
    text-shadow: 1px 1px #FFFFFF;
}

p {
    margin-top: 0.2em;
    margin-bottom: 0.3em;
}

ul {
    margin-top: 0.1em;
    margin-bottom: 0.2em;
}

td, th {
    /* font-size: 20px; */
}

li {
    padding-left: 15px;
}

em {
  font-weight: bold;
  font-style: normal;
}

h1 {
    font-size: 40px;
    line-height: 1;
    font-weight: normal;
    font-style: normal;
    color: #0000a7b5;
    margin-bottom: 0.3em;
    margin-top: 0.3em;
}

h2, strong {
    font-size: 34px;
    font-weight: normal;
    font-style: normal;
    color: #0000a7b5;
    margin-bottom: 0.3em;
    margin-top: 0.3em;
}

h3 {
    line-height: 1;
    margin-bottom: 0.3em;
    margin-top: 0.3em;
}

dl {
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

dt {
    color: #0000a7b5;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

/* Title page */
.title {
    text-align: center;
    margin-top: 26px;
    margin-bottom: 26px;
}

.author {
    text-align: center;
    margin-top: 26px;
    margin-bottom: 26px;
}

.institutes {
    font-size: 22px;
    margin-top: 26px;
    margin-bottom: 26px;
}

.institute {
}

.date {
    text-align: center;
    margin-top: 14px;
    margin-bottom: 14px;
}

#titlegraphic {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 50%;
}

.thanks {
    font-size: 28px;
    position: relative;
    border-top: 1px solid black;
}
.thanks:after {
    padding: 0;margin:0;display:block;
    content: "";
    width: 66%;
    height: 1.2px;/* slight higher to work around rounding errors(?) on some zoom levels in some browsers. */
    background-color: white;
    position: absolute;
    right: 0;
    top: -2px;
}

/* Backgrounds */

.svg-container {
    position: absolute;
    top: 0;
    left: 0;
}

svg {
    top: 0;
    left: 0;
}

/* Notes */

.notes {
    height: 0;
    display: none;
}

/* Impress */

.impress-enabled .slide.present { opacity: 1 }

/* TODO: remember to enable this */
.impress-enabled .slide.future { opacity: 0 }

.unselectable {
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    pointer-events: none;
}

.theorem {
    border-left-style: solid;
    border-left-width: 4px;
    border-left-color: #5F5F5F;
    padding-left: 20px;
}

.space {
    display: block;
    width: 100%;
}

.fallback-message {
    width: 760px;
    padding: 10px 10px 0;
    margin: 20px auto;

    border: 1px solid #E4C652;
    border-radius: 10px;
    background: #EEDC94;
}

.impress-supported .fallback-message {
    display: none;
}

#animation-step {
    position: relative;
    width: 1028px;
    height: 768px;

    -webkit-box-sizing: border-box;
    -moz-box-sizing:    border-box;
    -ms-box-sizing:     border-box;
    -o-box-sizing:      border-box;
    box-sizing:         border-box;
}

#animation-window {
}

.bottom {
    position: absolute;
    bottom: 0;
    left: 0;
}

.slide {
    position: relative;
    width: 1028px;
    padding-left: 20px;
    padding-right: 20px;
    padding-top: 40px;
    padding-bottom: 40px;
    margin: 20px auto;

    -webkit-box-sizing: border-box;
    -moz-box-sizing:    border-box;
    -ms-box-sizing:     border-box;
    -o-box-sizing:      border-box;
    box-sizing:         border-box;
}

.full-slide {
    height: 768px;
}

.impress-enabled .slide {
    margin: 0;
    /*opacity: 0.8;*/

    -webkit-transition: opacity 0.2s;
    -moz-transition:    opacity 0.2s;
    -ms-transition:     opacity 0.2s;
    -o-transition:      opacity 0.2s;
    transition:         opacity 0.2s;
}

.example {
    padding: 20px;
    margin: 20px auto;
    border: 1px solid #ccc;
    border-radius: 16px;
    overflow: hidden;
    background-color: #eee;
}

.impress-enabled .example {
    max-height: 0px;
    opacity: 0;

    -webkit-transition: max-height 0.7s;
    -moz-transition:    max-height 0.7s;
    -ms-transition:     max-height 0.7s;
    -o-transition:      max-height 0.7s;
    transition:         max-height 0.7s;
}

.impress-enabled .example.active { 
    max-height: 1000px;
    opacity: 0.95;
    -webkit-transition: all 0.7s;
    -moz-transition:    all 0.7s;
    -ms-transition:     all 0.7s;
    -o-transition:      all 0.7s;
    transition:         all 0.7s;
}

.impress-enabled .example.past { 
    max-height: 0px;
    opacity: 0;
    -webkit-transition: max-height 0.7s;
    -moz-transition:    max-height 0.7s;
    -ms-transition:     max-height 0.7s;
    -o-transition:      max-height 0.7s;
    transition:         max-height 0.7s;
}

/* columns */

.columns {
    width: 100%;
}

.column {
    display: inline-block;
    width: 48%;
    vertical-align: text-top;
}

/* effects */

.appear {
    opacity: 0;
    transition-property: opacity;
    transition-delay:  2s;
}

.present .appear, .past .appear {
    opacity: 1;
}

.disappear {
    transition: opacity 0.2s;
    transition-delay:  1s;
}

.past .disappear {
    opacity: 0;
}