@charset "UTF-8";
/* @import url('https://fonts.googleapis.com/css?family=Merriweather'); */


.def {
  background-Color: #ffc; 
  padding: 1em; 
  /* width: 40em;  */
  box-shadow: 5px 5px 3px 0px rgba(119,119,119,0.7); 
  text-align: justify;
}


/* For desktop: */
.col-1 {width: 8.33%;}
.col-2 {width: 16.66%;}
.col-3 {width: 25%;}
.col-4 {width: 33.33%;}
.col-5 {width: 41.66%;}
.col-6 {width: 50%;}
.col-7 {width: 58.33%;}
.col-8 {width: 66.66%;}
.col-9 {width: 75%;}
.col-10 {width: 83.33%;}
.col-11 {width: 91.66%;}
.col-12 {width: 100%;}

@media only screen and (max-width: 768px) {
  /* For mobile phones: */
  [class*="col-"] {
    width: 100%;
  }
}
.row {
  display: flex;
}

/* Create two equal columns that sits next to each other */
.column {
  flex: 50%;
  padding: 10px;
/*  height: 300px;  Should be removed. Only for demonstration */
}

.csl-entry{
  display:list-item;
}

#refs{
  border-bottom: #111 solid;
}



table {
  margin-left: auto;
  margin-right: auto;
}

a:link {
  color: rgb(244, 40, 121);
  background-color: transparent;
  text-decoration: none;
}
a:visited {
  color: rgb(244, 40, 121);
  background-color: transparent;
  text-decoration: none;
}

.author{
  float: right;
    padding-top: 1em;
    font-size: 70%;
    color: gray;
}  

body {
    width: 95.5%;
    margin-left: auto;
    margin-right: auto;
    padding-left: 5.5%;
    padding-right: 5.5%;
    font-family: Merriweather, Palatino, "Palatino Linotype", "Palatino LT STD", "Book Antiqua", Georgia, serif;
    color: #313131;
    max-width: 1200px;
    /* font-size: 22px; */
    counter-reset: sidenote-counter figure-counter;
}

h1, h2, h3, h4 #chapter {
    font-family: Palatino;
    font-weight: 100;
    color: #333;
}


h1 {
     /* padding-top: 2rem; */
     font-size: 2rem;
     /* margin-bottom:6rem; */
}
h1:after
{
    content:' ';
    display:block;
    border:1px solid rgb(150, 148, 153);
}

h2 {
     /* padding-top: 2rem; */
     font-size: 2rem;
}

h3 {
  font-size: 1.5rem;
  text-align: center;
  text-decoration: underline;
}

blockquote, .references {
/*    font-size: 1.7rem;*/
    line-height: 2.4rem;
    margin-top: 2rem;
    padding-right: 0;
    vertical-align: baseline;
}


blockquote p { font-style:italic; }

/* ul, ol, {
    margin:0;
    padding:0;
    padding-left:5%;
} */

ul { list-style-type: circle; }

li { padding: 0.5rem 0; }

figure {
/*    padding: 0;
    font-size: 100%;
    font: inherit;
    vertical-align: baseline;
    max-width: 200px;
    -webkit-margin-start: 0;
    -webkit-margin-end: 0;*/
/*    margin: 0 0 3em 0;*/
    display:inline-block;
    border: 1px solid skyblue;    
}

/*caption {
  font-size: 1.2rem;
}

caption {
  font-size: 1.6rem;
}*/

caption .math, figcaption .math
{
  font-size: 1.1rem;
}

gist {
   max-width:350px;
   overflow:auto;
}

.gist .blob-wrapper.data {
   max-height:400px;
   overflow:auto;
}

figure.fullwidth figcaption { margin-right: 0%; }

img {
    border: 1px solid skyblue; 
    height: auto; 
    display:block;  
    margin-left: auto;
    margin-right: auto;    
}
.sidenote, .marginnote, figcaption { 
    float: right;
    clear: right;
    margin-right: -60%;
    width: 25%;
    margin-top: 0;
    margin-bottom: 0;
    font-size:  1.4rem;
    line-height: 1.3;
    vertical-align: baseline;
    position: relative; 
}

figcaption {
    margin-right: -30%;
    width: 25%;
    clear: both;
}


.bar{
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
  border-bottom: 3px;
  background-color: #DCDCDC;
    display: block;


}

.barli {
  float: left;
  /*border-right: black solid;*/
}


.barli a {
  /* display: block; */
  color: black;
  text-align: center;
  padding: 14px 16px;
/*  font-size: 1.7rem;*/
  text-decoration: none;
}

.barli a:hover {
  background-color: #111;
}




#footer {
    padding-top: 1em;
    font-size: 70%;
    color: blue;
    text-align: center;
}

.important{
  z-index: 1;
  padding-left: 10px;
  border: 1px solid #900;
  background-color: #d6ffe1;
  /*opacity: 20%;    */
}

.solution{
  padding-left: 10px;
  border: 2px solid #900;   
  background-color: #d9ffe3;
  width: 100%;
}

.definition{
  margin-bottom: 10px;
  border:1.5px solid #0094ff;
}
.definition p{margin-left: 5px}
.definition h3 {
    background:#0094ff;
    color:white;
    text-align: left; 
    margin-top: 0px;
    border: none;
    border-bottom: 1px;

}
.definition h3::before{content: "Definition: "}


.lemma{
/*  padding-left: 5px;*/
  margin-bottom: 10px;
  border:2px solid #0094ff;

}
.lemma h3 {
    background:#0094ff;
    color:white;
    text-align: left; 
    margin-top: 0px;
    border: none;
    border-bottom: 1px;

}
.lemma h3::before{content: "Lemma: "}
.lemma {
    -moz-border-radius-topright:5px;
    -moz-border-radius-topleft:5px;
}

.theorem{
  padding-left: 5px;
  margin-bottom: 10px;
  border:2px solid #0094ff;
}
.theorem h3 {background:#0094ff;color:white;padding:10px; text-align: left;}
.theorem h3::before{content: "Theorem: "}
.theorem {
    -moz-border-radius-topright:5px;
    -moz-border-radius-topleft:5px;

}


.ex[title]::before {
  content:  "Exercise:  "attr(title);
  position: absolute;
  top: -31px;
  left: 0;
  width: 100%;
  font-size: 1.5em;
  color: white;
  border:1px solid black;
  background-color: #022763;
  font-style: italic;

}

.ex{
    /*font-size: 1.2em;*/
    padding-top: 20px;
    position: relative;
    border:1px solid black;
    margin-top: 30px;    
    margin-left: 5px;
    padding-left: 5px;
}


.algorithm[title]::before {
  content:  "Algorithm:  "attr(title);
  position: absolute;
  top: -31px;
  left: 0;
  width: 100%;
  font-size: 1.5em;
  color: white;
  border:1px solid black;
  background-color: #022763;
  font-style: italic;

}

.algorithm{
    /*font-size: 1.2em;*/
    padding-top: 20px;
    position: relative;
    border:1px solid black;
    margin-top: 30px;    
    margin-left: 5px;
    padding-left: 5px;
}

.proof{
    /*font-size: 1.2em;*/
    /* padding-top: 20px; */
    /* position: relative; */
    /*border:1px solid black;*/
    background-color: #FCF5E5;
    margin-top: 30px;    
    margin-left: 5px;
    padding-left: 5px;
}

.intuition{
    color: purple;
}


.question{
    color: #E37383;
}

.new{
    color: #06591e;
}


.csl-entry:target {
    border-color: orange;
    border: 1px solid; 
    background-color: #c1d6f7;
    
}

.collapse{
    background-color: #fffafa;
    border:1px solid black;        
    z-index: 1;
    padding-left: 10px;

}

.collapseSolutions{
    border:1px solid black;        
    z-index: 1;
    padding-left: 10px;

}


.sidenote-number:after, .sidenote:before { 
    position: relative;
    color:#4682B4;
    vertical-align: baseline; 
}

.sidenote-number:after { 
    font-family: monospace;
    font-size: 1rem;
    top: -0.5rem;
    left: 0.1rem; 
}

.sidenote:before { 
    content: counter(sidenote-counter) ":";
    /* top: -0.4rem; */
    font-family:monospace;
    margin-right:0.3rem;
}

hr {
  border: 0;
  clear:both;
  display:block;
  width: 96%;               
  background-color:#FFFF00;
  height: 1px;
}

/* CSS */
.button-55 {
  align-self: center;
  background-color: #fff;
  background-image: none;
  background-position: 0 90%;
  background-repeat: repeat no-repeat;
  background-size: 4px 3px;
  border-radius: 15px 225px 255px 15px 15px 255px 225px 15px;
  border-style: solid;
  border-width: 2px;
  box-shadow: rgba(0, 0, 0, .2) 15px 28px 25px -18px;
  box-sizing: border-box;
  color: #41403e;
  cursor: pointer;
  display: inline-block;
  font-size: 1rem;
  line-height: 23px;
  outline: none;
  padding: .75rem;
  text-decoration: none;
  transition: all 235ms ease-in-out;
  border-bottom-left-radius: 15px 255px;
  border-bottom-right-radius: 225px 15px;
  border-top-left-radius: 255px 15px;
  border-top-right-radius: 15px 225px;
  user-select: none;
  -webkit-user-select: none;
  touch-action: manipulation;
}

.button-55 a:hover {
  box-shadow: rgba(0, 0, 0, .3) 2px 8px 8px -5px;
  transform: translate3d(0, 2px, 0);
}

span a:hover {
  box-shadow: rgba(0, 0, 0, .3) 2px 8px 8px -5px;
  transform: translate3d(0, 2px, 0);
  background-color: #C8E7F5;

}

.button-55:focus {
  box-shadow: rgba(0, 0, 0, .3) 2px 8px 4px -6px;
}
/*a.green_tag{
    background-color: greenyellow;
    border: 1px solid grey;
    font-size: 0.8em;    
    color: blue;
}

a.blue_tag{
    background-color: #989ef5;
    border: 1px solid grey;
    font-size: 0.8em;    
    color: ghostwhite;
}

a.yellow_tag{
    background-color: #ebe271;
    border: 1px solid grey;
    font-size: 0.8em;
    color: blue;
}*/

/*span.green_tag{
    background-color: greenyellow;
    border: 1px solid grey;
    font-size: 0.8em;    
    color: blue;
}

span.blue_tag{
    background-color: #989ef5;
    border: 1px solid grey;
    font-size: 0.8em;    
    color: ghostwhite;
}

span.yellow_tag{
    background-color: #ebe271;
    border: 1px solid grey;
    font-size: 0.8em;
    color: blue;
}
*/
span.citation{
    background-color: #ebe271;
    border: 1px solid grey;
    font-size: 0.8em;
}