/* Copyright Colin Geniet 2021-2023 */

* {
  box-sizing: border-box;
}

body {
  font-family: "DejaVu Sans", helvetica, sans-serif;
  font-size: 100%;
  color: #000;
  background-color: #2ba;
  min-height: 100%;
  margin: 0;
  padding: 0;
}

#content {
  background-color: #ddd;
  color: inherit;
  max-width: 67em;
  min-height: 100%;
  margin: 0 auto 20px;
  padding: 0;
}

.clearfix {
  overflow: auto;
}

/* Header / footer / nav layout */

header {
  padding: 3ex 10%;
}

header h1 {
  margin: 0;  /* Padding already in header. When using h1 margin, the margin goes *out* of the header... */
  font-weight: normal;
  font-family: "Liberation Serif", Times, serif;
  font-variant: small-caps;
  font-size: 2em;
}

nav {
  color: #eee;
  background-color: #333;
}

nav ul {
  list-style: none;
  margin: 0;
  padding: 0;
  overflow: hidden; /* Required for the header div to contain nav. Why? */
}

nav li {
  float: left;
  min-width: 18%;
}

nav li a {
  display: block;
  margin: 0;
  padding: 0.5em;
  font-size: 0.95em;
  text-transform: uppercase;
  text-align: center;
  text-decoration: none;
  color: inherit;
}

nav li a:hover {
  color: #fff;
  background-color: #677;
}

nav li a#current_link {
  color: #fff;
  background-color: #377;
}

footer {
  color: #444;
  font-size: 0.65em;
  border-top-style: solid;
  border-top-width: 1px;
  padding: 5px 10px;
  text-align: right;
}

#updated, .copyright {
  display: inline-block;
  padding: 0 10px;
}

/* Content */

main {
  padding: 0 1em 1ex;
}

main h2 {
  font-size: 1.3em;
  font-weight: bold;
  margin-top: 1.2em;
  margin-bottom: 0;
}

img#photo {
  float: right;
  width: 15%;
  min-width: 100px;
  margin-left: 5%;
}

/* Homepage */
#contact td {
  vertical-align: top;
  padding: 0 1em 1ex;
}

#contact .description {
  font-weight: bold;
}

#contact kbd {
  font-family: "DejaVu Mono", monospace;
  font-size: 100%;
}

/* Publications, talks, etc. */
.publist {
  list-style: none;
  padding-left: 0;    /* padding moved to <li> for nicer highlighting */
}

.publist li {
  margin-bottom: 1.5ex;
  padding-left: 30px;
}

.publist .title {
  font-weight: bold;
}

.publist .conference {
  font-style: italic;
}

.publist .pdflink {
  display: inline-block;
  margin: 0 1em;
}

.publist .link {
  display: inline-block;
  min-width: 4em;
  margin: 0 1em;
}

.publist li:target {
  background-color: #e7ddaa;
}

.course_list li {
  margin-bottom: 0.7ex;
}