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



body {
    font-family: Lora,sans-serif;
	padding: 1em;
	margin: 0 auto;
	width: 720px;
}

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

h1, h1 a {
    font-weight: 800;
}

h3,h2, h4, h5 {
    font-family: Roboto,serif;
	font-weight: 700;
}

a {
    color: #E4002B;
    font-weight: 700;
}

a:hover {
    text-decoration: none;
}


dl {
    padding-top: 0;
}

dt {
    font-family: Roboto,serif;
    font-weight: 700;
}

p {
	text-align: justify;
    hyphens: auto;
}

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;
    background: #00a2ff;
	color: white;
}

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

.footnote {
    font-size: 10pt;
}

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