/* Space out content a bit */
body {
  padding-top: 20px;
  padding-bottom: 20px;
  font-family: Verdana, "Bitstream Vera Sans", sans-serif;
  font-size: 12pt;
}

/* Everything but the jumbotron gets side spacing for mobile first views */
.header,
.marketing,
.footer {
  padding-left: 15px;
  padding-right: 15px;
}

/* Custom page header */
.header {
  border-bottom: 1px solid #e5e5e5;
}
/* Make the masthead heading the same height as the navigation */
.header h3 {
  margin-top: 0;
  margin-bottom: 0;
  line-height: 40px;
  padding-bottom: 19px;
}

/* Custom page footer */
.footer {
  padding-top: 19px;
  color: #777;
  border-top: 1px solid #e5e5e5;
}

/* Customize container */
@media (min-width: 768px) {
  .container {
    max-width: 730px;
  }
}
.container-narrow > hr {
  margin: 30px 0;
}

/* Main marketing message and sign up button */
.name {
    font-size: 16pt;
    text-align: center;
}
.jumbotron .btn {
  font-size: 21px;
  padding: 14px 24px;
}

/* Supporting marketing content */
.marketing {
  margin: 40px 0;
}
.marketing p + h4 {
  margin-top: 28px;
}

/* Responsive: Portrait tablets and up */
@media screen and (min-width: 768px) {
  /* Remove the padding we set earlier */
  .header,
  .marketing,
  .footer {
    padding-left: 0;
    padding-right: 0;
  }
  /* Space out the masthead */
  .header {
    margin-bottom: 30px;
  }
  /* Remove the bottom border on the jumbotron for visual effect */
  .jumbotron {
    border-bottom: 0;
  }
}

div.box {
    border: 1px solid lightgray;
    margin: 1px;
    float: left;
    padding: 1px;
}

div#info {
    background-color: green;
    opacity: 0.6;
    color: white;
    width: 190px;
    margin-left: 0px;
}

div#picture {
    width: 200px;
}

div#about {
    width: 30%;
}

div#more {
    width: 30%;
}

div#content {
}

div#links {
    background-color: grey;
}

div#publications {
    font-size: 11pt;
    clear: both;
}

div.content {
    clear: both;
}

.year {
    text-weight: bold;
    font-size: 18pt;
    margin-top: 20px;
}

span.intro {
    font-size: 12pt;
    font-weight: bold;
    font-variant: small-caps;
}
div.misc {
    width: 400px;
    clear: both;
}

hr#top {
    height: 5px;
    width: 100%;
}

hr {
    width: 80%;
    clear: both;
}

a.slides {
    font-variant: small-caps;
    /* font-weight: bold; */
    font-size: 10pt;
    color: white;
    background: grey;
    padding: 2px;
}

a.bibtex {
    font-variant: small-caps;
    /* font-weight: bold; */
    font-size: 10pt;
    color: white;
    background: green;
    padding: 2px;
}

.code {
    font-variant: small-caps;
    /* font-weight: bold; */
    background: pink;
}

.paper {
    font-variant: small-caps;
    /* font-weight: bold; */
}

a {
    color: #00008B;
    text-decoration: underline;
    text-decoration-color: yellow;
}

a.nav {
    text-decoration: none;
    border: none;
}

a:hover {
    text-decoration: none;
}

.abstract {
    border-bottom: 1px dashed #e5e5e5;
}

tr.pub {
    border-top: 1px solid #e5e5e5;
}

pre {
    margin: 10px;
}

.popover {
    max-width: 500px;
    font-size: 9pt;
}

table, th, td {
    border: 1px solid black;
    border-collapse: collapse;
}

td {
    vertical-align: top;
}

table#publications {
    border: none;
}

table#publications th, td {
    border: none;
    vertical-align: middle;
}


.date {
    border: 1px solid black;
    border-radius: 5px;
    padding: 2px;
}

.new {
    background-color: red;
    color: white;
}

figcaption {
    font-size: 10px;
    font-style: italic;
}