@import url('https://fonts.googleapis.com/css?family=Libre+Franklin:400,400i,600,700,700i');
@import url(https://fonts.googleapis.com/css?family=IBM+Plex+Serif:400,400i,700,700i);



body {
    font-family: 'Libre Franklin',sans-serif;
	padding: 1em;
	margin: 0 auto;
	width: 720px;
    counter-reset: theorem;
}

code {
    font-family: Menlo,Consolas,'Lucida Console','Courier New';
}

h3,h2, h4, h5 {
    font-family: 'IBM Plex Serif',serif;
	font-weight: 700;
}

a {
    color: #63b058;
    font-weight: 700;
}

a:hover {
    text-decoration: none;
}


dl {
    padding-top: 0;
}

dt {
    font-family: 'IBM Plex Serif',serif;
    font-weight: 700;
}

p {
	text-align: justify;
}

address {
	padding-bottom: 1em;
}

.abstract {
	font-style: italic;
}

.citation {
}

.figure{
    display: block;
    padding: 1em;
    margin: auto;
    max-width: 80%;
}

blockquote {
    font-style: italic;
}

table {
    margin: 1em auto;
    border-top: medium solid;
    border-bottom: medium solid;
    border-collapse: collapse;
}

th {
    border-bottom: thin solid;
}

td,th {
    padding: 0.5em;
}

table.window {
    border-collapse: collapse;
}

table.window td {
    border: thin solid;
}

dl ul {
	margin: .5em 0;
	padding: 0;
}

dl ul li {
	display: inline;
}

dl ul li a:link {
	border: thin solid;
	padding: 0.25em .5em;
	text-decoration: none;
	font-weight: 600;
}


dl ul li a:hover {
	text-decoration: none;
	color: white;
    background: #63b058;
}

dl ul li a:active {
	text-decoration: none;
	color: white;
    background: #63b058;
}

.claim::before, .corollary::before, .definition::before, .example::before, .lemma::before, .proposition::before, .theorem::before, .algorithm::before {
    counter-increment: theorem;
    content: attr(class) " " counter(section) "." counter(theorem) ". ";
    font-weight: bold;
    font-style: normal;
    text-transform: capitalize;
}

.claim, .corollary, .lemma, .proposition, .theorem {
    font-style: italic;
}

.lemma[data-ref]::before, .theorem[data-ref]::before, .algorithm[data-ref]::before {
    counter-increment: theorem;
    content: attr(class) " " counter(section) "." counter(theorem) " (" attr(data-ref) "). ";
    font-weight: bold;
    text-transform: capitalize;
}

.proof p[data-ref]:first-child::before{
    content: "Proof (" attr(data-ref) "). ";
    font-style: italic;
}

.proof p:first-child::before {
    content: "Proof. ";
    font-style: italic;
}

.proof p:last-child::after {
    float: right;
    content: "\25A1";
    font-size: 1.25em;
}

.algorithm {
    line-height: 2em;
}