@import url("https://fonts.googleapis.com/css?family=EB+Garamond");
@font-face {
    font-family: "EB Garamond";
    src: url("../../../../fonts/ebgaramond.woff2") format("woff2");
}
@font-face {
    font-family: "Open Sans";
    src: url("../../../../fonts/opensans.woff2") format("woff2");
}

html {
    font-size: calc(11px + (10) * ((100vw - 320px) / (1200 - 320)));
}
body {
    background-color: white;
    color: black;
    font-family: "EB Garamond", serif;
    font-weight: normal;
    font-variant-ligatures: common-ligatures;
    font-variant-numeric: oldstyle-nums;
    line-height: 130%;
    font-size-adjust: none;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    background: #ffffff;
}

p {
    padding: 0 0 0 0;
    line-height: 130%;
}

ul,
ol {
    padding-left: 40px;
    line-height: 130%;
}

.main {
    display: block;
    max-width: 25em;
    margin-left: auto;
    margin-right: auto;
    padding: 1em;
}

hr {
    border-top: dotted 2px;
    margin-bottom: 1.625em;
}

h2 {
    font-weight: normal;
    color: #5e5e5e;
    font-family: Georgia, serif;
    font-size: 1.9em;
    margin-bottom: 3em;
    margin-top: 1em;
}
h1 {
    font-weight: normal;
    color: #5e5e5e;
    font-family: "EB Garamond", serif;
    font-size: 1.9em;
    margin-bottom: 0;
    margin-top: 1em;
}

dl {
    margin: 0 0 1.625em 0;
}
dl dt {
    font-weight: bold;
}
dl dd {
    margin-left: 1.625em;
}

.main {
    margin: 0 auto;
}

li:hover {
    background-color: #dce9f2;
}

a:link {
    color: #6b6b6b;
    text-decoration: none;
}

/* visited link */
a:visited {
    color: #6b6b6b;
    text-decoration: none;
}

div.itshape {
    font-style: italic;
}