@import url(https://fonts.googleapis.com/css?family=EB+Garamond:400,400i,700,700i);
@import url(https://fonts.googleapis.com/css?family=Raleway:400,400i,700,700i);

body {
    font-family: 'EB Garamond',Helvetica,sans-serif;
	padding: 1em;
	margin: 0 auto;
	width: 720px;
    font-size: 14pt;
}


h3,h2, h4, h5 {
    font-family: 'Raleway',Helvetica,sans-serif;
	font-weight: 700;
}

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

a:hover {
    text-decoration: none;
}


dl {
    padding-top: 0;
}

dt {
    font-family: 'Raleway',Helvetica,sans-serif;
    font-weight: bold;
}

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;
}

td,th {
    padding: 0.5em;
}


table.proof {
    min-width: 360px;
    border-top: none;
    border-bottom: none;
}

table.hoare {
    min-width: 360px;
    border: none;
}

table.hoare td {
    padding: 0 0.5em;
    margin: 0;
}

table.hoare pre {
    padding: 0;
    margin: 0;
}

table.assumption {
    width: 100%;
    border: solid thin;
    margin: .25em 0;
}

td.assumption {
    padding: 0;
    margin: 0;
}

th {
    border-bottom: thin solid;
}

table.test td {
    border: thin dotted;
}

table.window {
    border-collapse: collapse;
}

table.window td {
    border: thin solid;
}