#main {
    width: 60em;
    margin: auto;
}

.name-header .name {
    font-size: 2em;
}

.name {
    font-variant: small-caps;
    font-family: sans-serif;
    color: #000099;
/*font-weight: bold;*/
}

.me {
    color: #000099;
/*font-weight: bold;*/
}

.name-header .name {
    /* Get the Z order right */
    position: relative;
}

.drop-shadow {
    color: #c0c0c0;
    position: relative;
    width: 0px;
    height: 0px;
    top: 2px;
    left: 2px;
}

.authors {
    font-size: .75em;
    margin-top: .25em;
    margin-bottom: 1em;
    font-family: sans-serif;
}

.abstract {
    padding-left: 10px;
    padding-right: 10px;
    padding-bottom: 0px;
    border-left: 5px solid grey;
    border-right: 5px solid grey;
    clear: both;
}

body {
    font-family: sans-serif;
}

h1 {
    padding-top: 10px;
    font-size: 1.25em;
    font-family: sans-serif;
}

h2 {
    font-size: 1.1em;
    color: #446;
    font-style: italic;
    font-family: sans-serif;
}

p, dd {
    text-align: justify;
}

dt {
    margin-top: .5em;
    margin-bottom: .15em;
}

b.enterkey {
    font-size: 8pt;
}

code.command {
    display: block;
    padding: 6px;
}

pre code {
  background-color: #eee;
  border: 1px solid #999;
  display: block;
  padding: 20px;
}

.paper-links {
    float: right;
    text-align: right;
    padding-bottom: 12px;
}

.paper-links a {
    font-weight: bold;
}

.paper-sublinks {
    font-size: smaller;
}

li {
    margin-bottom: 14px;
}


}