/* CSS Document */

@font-face {
            font-family: 'LatinModernRomanCaps';
            src: url('../../../Fonts/lmromancaps10-regular-webfont.eot');
            src: url('../../../Fonts/lmromancaps10-regular-webfont.eot?#iefix') format('embedded-opentype'), url('../../../Fonts/lmromancaps10-regular-webfont.woff') format('woff'), url('../../../Fonts/lmromancaps10-regular-webfont.ttf') format('truetype'), url('../../../Fonts/lmromancaps10-regular-webfont.svg#latin_modern_roman_caps10Rg') format('svg');
            font-weight: normal;
            font-style: normal;
}
@font-face{
    font-family: 'LatinModernRoman';
    src: url('../../../Fonts/lmroman10-regular-webfont.woff');
}
@font-face {
    font-family: 'EBGaramond';
    src: url('../../../Fonts/EBGaramond-VariableFont_wght.ttf');
}
#font-EBGaramond {
    font-family: 'EBGaramond';
    font-variation-settings: 'wght' 98;
}
@font-face {
    font-family: 'EBGaramondItalic';
    src: url('../../../Fonts/EBGaramond-Italic-VariableFont_wght.ttf');
}
#font-EBGaramondItalic {
    font-family: 'EBGaramondItalic';
    font-variation-settings: 'wght' 98;
}
header > h1 {
    display:flex;
    justify-content:center;
    font-family:'LatinModernRomanCaps',serif;
    font-weight:normal;
    font-size:20pt;
}	
header {
    display:block;
    margin-left:auto;
    margin-right:auto;
    text-align:center;
}
main {
    display:flex;
    flex-direction:column;
    flex-wrap:wrap;
    align-items:center;
    font-family: 'EBGaramond',serif;
}
section {
    width:60em;	
}
li {
    line-height:1.8;		
}
a {
    color:dodgerblue;
    text-decoration-line:none;
}
a:hover {
    color:orange;
}
h2 {
    font-family: 'LatinModernRoman';
}
.proof > h1 {
    background:#127600;
    padding: 0.15em 0.25em;
    position: absolute;
    top: -1.8em;
    left: -0.8em;
    color: white;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
    box-shadow: 4px 4px 4px MidnightBlue;
}
.proof {
    position:relative;
    background:#D2FFB9;
    margin: 1.5em 0;
    padding: 0.5em 1em;
}
.example > h1 {
    background:#2AC0FF;
    padding: 0.15em 0.25em;
    position: absolute;
    top: -1.8em;
    left: -0.8em;
    color: white;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
    box-shadow: 4px 4px 4px MidnightBlue;
}
.example {
    position:relative;
    background:#B7F5FF;
    margin: 1.5em 0;
    padding: 0.5em 1em;	
}
.history > h1 {
    background:#FE10BA;
    padding: 0.15em 0.25em;
    position: absolute;
    top: -1.8em;
    left: -0.8em;
    color: white;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
    box-shadow: 4px 4px 4px MidnightBlue;
}
.history {
    position:relative;
    background:#FAB7FF;
    margin: 1.5em 0;
    padding: 0.5em 1em;	
}
blockquote {
    background:#D8D8D8;
    padding-top:0.5em;
    padding-bottom:0.5em;
    padding-left:0.75em;
    font-style:italic;
}
.references {
    position:relative;
    background:#F8ACAC;
    margin: 1.5em 0;
    padding: 0.5em 1em;
}
.references > h1 {
    background:#E21212;
    padding: 0.15em 0.25em;
    position: absolute;
    top: -1.8em;
    left: -0.8em;
    color: white;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
    box-shadow: 4px 4px 4px MidnightBlue;
}
.related {
    position:relative;
    background:#FFD294;
    margin: 1.5em 0;
    padding: 0.5em 1em;
}
.related > h1 {
    background:#D86717;
    padding: 0.15em 0.25em;
    position: absolute;
    top: -1.8em;
    left: -0.8em;
    color: white;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
    box-shadow: 4px 4px 4px MidnightBlue;
}
.theorem {
    position:relative;
    background:#F8F2AC;
    margin: 1.5em 0;
    padding: 0.5em 1em;
}
.theorem > h1 {
    background:#A09800;
    padding: 0.15em 0.25em;
    position: absolute;
    top: -1.8em;
    left: -0.8em;
    color: white;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
    box-shadow: 4px 4px 4px MidnightBlue;
}
footer {
    font-size: small;
    text-align: center;
}
nav {
    position:fixed;
    top:10px;
    left:10px;
    width:12em;
}
figure {
    align-self: center;
    align-content: center;
    text-align:center;
}
figcaption {
    text-align: center;
    font-family:'LatinModernRomanCaps',serif;
}
text {
    text-anchor:middle;
    vertical-align:middle;
}
.theoremMenu {
    background:#F8F2AC;
    padding: 0.15em 0.25em;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
}
.proofMenu {
    background:#D2FFB9;
    padding: 0.15em 0.25em;
}
.exampleMenu {
    background:#B7F5FF;
    padding: 0.15em 0.25em;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
}
.historyMenu {
    background:#FAB7FF;
    padding: 0.15em 0.25em;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
}
.relatedMenu {
    background:#FFD294;
    padding: 0.15em 0.25em;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
}
.referencesMenu {
    background:#F8ACAC;
    padding: 0.15em 0.25em;
    font: 1em/1.45 Helvetica Neue, sans-serif, Droid Sans Fallback;
}
.fa-facebook-f {
    padding: 0.25em 0.75em;
    background-color:#3b5998;
    color:white;
    border-radius:100px 0 0 100px;
}
a:hover > i.fa-facebook-f {
    background-color:#728EC8;
}
.fa-twitter {
    padding: 0.25em 0.75em;
    background-color:#00aced;
    color:white;
}
a:hover > i.fa-twitter {
    background-color:#7BDBFF;
}
.fa-whatsapp {
    padding: 0.25em 0.75em;
    background-color:#10ED20;
    color:white;
}
a:hover > i.fa-whatsapp {
    background-color:#85F68D;
}
.fa-envelope-open {
    padding: 0.25em 0.75em;
    background-color:#3E3E3E;
    color:white;
    border-radius:0 100px 100px 0;
}
a:hover > i.fa-envelope-open {
    background-color:#A6A6A6;
}
aside > i {
    margin-left:0;
    margin-right:0;
}
aside {
    display:block;
    margin:auto;
    text-align:center;
}