* {
    margin: 0px;
    padding: 0px;
}

html {
    height: 100%;
}

body {
    height: 100%;
    margin: 0px;
    background-color: #003f84;
    font-family: sans-serif;
}

/* cannot have padding for full-height background to work */
#page {
    width: 1000px;
    min-height: 100%;
    margin: 0px auto;
    background-color: #ffffff;
    border-left: thin black solid;
    border-right: thin black solid;
}

#top_matter {
    padding: 10px 20px 0px 20px;
}

#content {
    padding: 20px 20px 0px 20px;
}

#bottom_matter {
    padding: 20px;
}

#content div {
    margin-bottom: 20px;
}

h1 {
    margin-bottom: 20px;
}

h2, h3, h4 {
    margin-bottom: 0px;
}

hr {
    color: #003f84;
    background-color: #003f84;
    border: 0px;
    height: 1px;
    margin-bottom: 5px;
}

p {
    margin: 10px 0px;
}

p.justified {
    text-align: justify;
}

blockquote {
    display: block;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 40px;
    margin-right: 40px;
}

#picture_of_me {
    float: left;
    width: 500px;
    height: 270px;
    margin-right: 20px;
}

table.papers {
    width: 100%;
    border-collapse: collapse;
}

td {
    vertical-align: top;
}

table.papers td, th {
    padding: 5px;
    border-top: thin solid;
}

table.papers td {
    border: none;
}

table.papers td.date, td.title {
    text-align: left;
}

table.papers td.venue {
    text-align: right;
}

table.papers td.title {
    width: 600px;
}

/* citation text style */
.paper_title {
    font-style: italic;
}

.paper_author { }

.paper_institution {
    font-style: italic;
}

.paper_venue { }

div.clear {
    clear: both;
    margin: 0px;
    padding: 0px;
}

ol,ul {
    margin: 0px 0px 10px 24px;
}

ul.pubs {
    list-style-type: none;
    margin-left: 0px;
}

ul.pubs li {
    padding-bottom: 10px;
}

p#last_modified {
    margin: 0px;
    font-size: small;
    font-style: italic;
}

a {
    color: #016be3;
    text-decoration: none;
}

a:hover {
    color: #004da3;
}

div.code {
    font-family: monospace;
    background: #000000;
    color: #ffffff;
    padding: 10px;
}

div#left {
    float: left;
    width: 300px;
    margin-top: 20px;
    margin-left: 100px;
    margin-bottom: 0px;
}

div#right {
    float: right;
    width: 300px;
    margin-top: 20px;
    margin-right: 100px;
    margin-bottom: 0px;
}