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

body {
    font-family: sans-serif;
}

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

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

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

li {
    padding-left: 15px;
}

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

/* TODO: remember to enable this */
.impress-enabled .step.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;
}

.fallback-message {
    font-family: sans-serif;
    line-height: 1.3;

    width: 780px;
    padding: 10px 10px 0;
    margin: 20px auto;

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

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


.step {
    position: relative;
    width: 1000px;
    padding: 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;

    font-size: 40px;
    line-height: 1.2;
}


.impress-enabled .step {
    margin: 0;
    opacity: 0.8;

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



.left {
    font-size: 36px;
    display: inline-block;
    width: 64%;
    vertical-align: text-top;
}

.right {
    font-size: 36px;
    display: inline-block;
    width: 27%;
    vertical-align: text-top;
}

#DeMorganMonoids.past { 
    opacity: 1;
}

/* pictures */

.lattice line,circle,text,path, .algebra line,circle,text,path {
    stroke: rgb(0,0,0);
    fill: rgb(0,0,0);
}

.lattice circle {
    stroke-width: 2;
    r: 10;
}

.algebra circle {
    stroke-width: 2;
    r: 5;
}

.lattice ellipse, .algebra ellipse {
    stroke: rgb(0,0,0);
    stroke-width: 2;
    fill: rgb(255,255,255);
}

.lattice line, path, .algebra line,path {
    stroke-width: 2;
}

.dmm-lattice {
    position: relative;
    width: 600;
    height: 700;
    margin: 175 175;
}

.Rt-lattice {
    position: relative;
    margin: 175 175;
    width: 600;
    height: 700;
}

.vertical {
    writing-mode:tb-rl;
    white-space:nowrap;
    display:block;
    bottom:0;
    width: 170px;
    height: 635px;
}

#aal {
    opacity: 0.15;
    font-size: 300px;
}

#aal.future {
    opacity: 0;
    font-size: 300px;
}

/* effects */

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

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

.disappear {
    transition-property: opacity 1s;
}

.past .disappear {
    opacity: 0;
}

/* lattices explanation */

#lattices line {
    stroke-dasharray: 200;
    stroke-dashoffset: 200;
    /* add all this back later when I am done
    -webkit-transition: stroke-dashoffset 2s linear;
    -moz-transition:    stroke-dashoffset 2s linear;
    -ms-transition:     stroke-dashoffset 2s linear;
    -o-transition:      stroke-dashoffset 2s linear;
    */
    transition:         stroke-dashoffset 2s linear;
}

#lattices.present line, #lattice.past line {
    stroke-dashoffset: 0;
}

/* example flip */
#example-lattice {
    transform-origin: 200px 280px;
    transition: transform 2s linear;
}

.present #example-lattice {
    transform: scale(1,-1);
}

/* boolean algebra picure */
/*
#bool ellipse {
    transition: rx 2s linear, ry 2s linear;
}

#bool.present ellipse {
    rx: 50;
    ry: 50;
}

#bool circle.top  {
    transition: cy 2s linear;
}

#bool.present circle.top  {
    cy: 200;
}

#bool circle.f  {
    transition: cx 2s linear, cy 2s linear;
}

#bool.present circle.f  {
    cx: 200;
    cy: 300;
}

#bool circle.bottom  {
    transition: cy 2s linear;
}

#bool.present circle.bottom  {
    cy: 300;
}

#bool circle.e  {
    transition: cx 2s linear, cy 2s linear;
}

#bool.present circle.e  {
    cx: 200;
    cy: 200;
}
*/