/*
	Name: Smashing HTML5
	Date: July 2009
	Description: Sample layout for HTML5 and CSS3 goodness.
	Version: 1.0
	Author: Enrique Ramírez
	Autor URI: http://enrique-ramirez.com
*/

/* Imports */
@import url("typogrify.css");
@import url("pygment.css");

header nav li { display: inline;
                padding-right: .5rem; }

h1 { font-weight: 400;
     margin-top: 1.568rem;
     margin-bottom: 1.568rem;
     font-size: 2.5rem;
     line-height: 0.784; }

h2 { font-style: italic;
     font-weight: 400;
     margin-top: 3rem;
     margin-bottom: 0;
     font-size: 2.1rem;
     line-height: 0.933333333333333; }

h3 { font-style: italic;
     font-weight: 400;
     font-size: 1.8rem;
     margin-top: 2.1777777777777778rem;
     margin-bottom: 0;
     line-height: 1.08888888888889; }

article { position: relative;
          padding: 1rem 0rem 2.5rem 0rem; } // reduced top and bottom padding by 50%

hr { margin-left: 0;
     width: 75%; }

script {
  display: none;
}

article div hr { margin-left: 0;
     width: 75%; }

article div ol li { margin-top: 0;
                 margin-bottom: 0; }

article div ol li p { padding: 0;
                      margin: 0; }

.websitetitle { font-size: 4rem;
                margin-top: 0;
                margin-bottom: 1rem; }

a.navitemlink { text-decoration: none;
                font-variant: small-caps;
                font-size: 25px}


p > figure { padding: 0;
         border: 0;
         font-size: 100%;
         font: inherit;
         vertical-align: baseline;
         max-width: 55%;
         -webkit-margin-start: 0;
         -webkit-margin-end: 0;
         margin: 0 0 3em 0; }

p > figure > figcaption { float: right;
             clear: right;
             margin-right: -48%;
             margin-top: 0;
             margin-bottom: 0;
             font-size: 1.1rem;
             line-height: 1.6;
             vertical-align: baseline;
             position: relative;
             max-width: 40%; }

table {
   font-family: arial, sans-serif;
   border-collapse: collapse;
}

td, th {
   border: 1px solid #dddddd;
   text-align: left;
   padding: 8px;
}

tr:nth-child(even) {
   background-color: #dddddd;
}

/* see http://drz.ac/2013/01/17/latex-theorem-like-environments-for-the-web/
and http://felix11h.github.io/blog/mathjax-theorems
*/
.theorem {
    display: block;
    margin: 12px 0;
    font-style: italic;
}
.theorem:before {
    content: "Theorem.";
    font-weight: bold;
    font-style: normal;
}
.theorem[text]:before {
  content: "Theorem (" attr(text) ") ";
}

.corollary {
  display: block;
  margin: 12px 0;
  font-style: italic;
}
.corollary:before {
  content: "Corollary.";
  font-weight: bold;
  font-style: normal;
}
.corollary[text]:before {
content: "Corollary (" attr(text) ") ";
}

.lemma {
    display: block;
    margin: 12px 0;
    font-style: italic;
}
.lemma:before {
    content: "Lemma.";
    font-weight: bold;
    font-style: normal;
}
.lemma[text]:before {
  content: "Lemma (" attr(text) ") ";
}

.definition {
  display: block;
  margin: 12px 0;
  font-style: italic;
}
.definition:before {
  content: "Definition.";
  font-weight: bold;
  font-style: normal;
}
.definition[text]:before {
  content: "Definition (" attr(text) ") ";
}

.remark {
  display: block;
  margin: 12px 0;
  font-style: italic;
}
.remark:before {
  content: "Remark.";
  font-weight: bold;
  font-style: normal;
}
.remark[text]:before {
  content: "Remark (" attr(text) ") ";
}

.lemma[text]:before {
  content: "Lemma (" attr(text) ") ";
}

.proof {
    display: block;
    font-style: normal;
    margin: 0;
}
.proof:before {
    content: "Proof.";
    font-style: italic;
    font-size: 1.4rem;
}
.proof:after {
    content: "\25FC";
    /* float:right; */
    font-size: 1.8rem;
}


.wrap-collabsible {
  margin-bottom: 1.2rem 0;
}

input[type='checkbox'] {
  display: none;
}

.lbl-toggle {
  font-size: 1.2rem;
  text-align: center;

  padding: 0.6rem;

  cursor: pointer;
  border-radius: 7px;
  transition: all 0.25s ease-out;
}

.lbl-toggle::before {
  content: ' ';
  display: inline-block;

  border-top: 5px solid transparent;
  border-bottom: 5px solid transparent;
  border-left: 5px solid currentColor;
  vertical-align: middle;
  margin-right: .7rem;
  transform: translateY(-2px);

  transition: transform .2s ease-out;
}

.toggle:checked + .lbl-toggle::before {
  transform: rotate(90deg) translateX(-3px);
}

.collapsible-content {
  max-height: 0px;
  overflow: hidden;
  transition: max-height .25s ease-in-out;
}

.toggle:checked + .lbl-toggle + .collapsible-content {
  max-height: none;
  overflow: visible;
}

.toggle:checked + .lbl-toggle {
  border-bottom-right-radius: 0;
  border-bottom-left-radius: 0;
}

.collapsible-content .content-inner {
  /* background: rgba(250, 224, 66, .2); */
  /* border-bottom: 1px solid rgba(250, 224, 66, .45); */
  border-bottom-left-radius: 7px;
  border-bottom-right-radius: 7px;
  padding: .5rem 1rem;
}

.center {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

.framed {
  border: 1px black dashed;
  padding: 20px;
}

.fullwidth ul {
  width: 100% !important;
}

#references ul {
  font-size: 1.3rem;
  padding-left: 0;
}

#references ul li {
  list-style-type: none;
}

.underline{
  background: linear-gradient(#fffff8, #fffff8), linear-gradient(#fffff8, #fffff8), linear-gradient(#333, #333);
  -webkit-background-size: 0.05em 1px, 0.05em 1px, 1px 1px;
  -moz-background-size: 0.05em 1px, 0.05em 1px, 1px 1px;
  /* background-size: 0.05em 1px, 0.05em 1px, 1px 1px; */
  background-repeat: no-repeat, no-repeat, repeat-x;
  /* text-shadow: 0.03em 0 #fffff8, -0.03em 0 #fffff8, 0 0.03em #fffff8, 0 -0.03em #fffff8, 0.06em 0 #fffff8, -0.06em 0 #fffff8, 0.09em 0 #fffff8, -0.09em 0 #fffff8, 0.12em 0 #fffff8, -0.12em 0 #fffff8, 0.15em 0 #fffff8, -0.15em 0 #fffff8; */
  background-position: 0% 93%, 100% 93%, 0% 93%;
}

address {
  font-size: 1.3rem;
}

.authors {
  margin-bottom: 1em;
}