/* Entire page settings */
body {
  font-size: 16px;
  font-family: Figtree, Arial, Sans-Serif;
  color: black;
  padding-left: 10%;
  padding-right: 10%;
  max-width: 800px;
  margin-left: auto;
  margin-right: auto;
  text-align: justify;
  text-justify: inter-word;
}

/*
  Header: my name
*/

header h1 {
  margin-left: 10px;
  padding: 4px;
}

header h1>a {
  color: #a00060;
  font-family: EB Garamond, Georgia, serif;
  font-size: 36px;
  /* Remove underlines */
  text-decoration: none;
}

/* Other header settings */
h1,
h2,
h3,
h4 {
  width: 100%;
  min-width: 200px;
}

hr {
  margin-left: 0;
  padding-left: 0;
  width: 100%;
  height: 1px;
  color: lightgray;
  background-color: lightgray;
}

/* Pre-formatted text and code */
pre,
code {
  background-color: whitesmoke;
  padding-left: 3px;
  padding-right: 3px;
}

/* Tables */
table {
  border: none;
  padding-left: 50px;
}

td {
  padding-left: 20px;
}

/* LINKS */
a,
a:active {
  color: blue;
}

a:visited {
  color: purple;
}

a:hover {
  color: gray;
}

/* MAIN PAGE BODY:
   The main body of the page, i.e. excluding top header, nav panel, and bottom footer */
main {
  min-width: 200px;
  display: block;
}

/* NAVIGATION PANEL */
header nav {
  background-color: aliceblue;
  overflow: hidden;
  border: 1px solid lightblue;
  border-radius: 5px;
  margin-bottom: 25px;
  padding-left: 15px;
  padding-right: 15px;
  width: fit-content;
}

header nav a {
  color: #a00060;
  float: left;
  text-decoration: none;
  text-align: center;
  padding: 15px 15px;
  font-size: 19px;
}

header nav a:visited,
header nav a:active {
  /* Remove underlines */
  color: #a00060;
  text-decoration: none;
}

header nav a:hover {
  color: gray;
}

/* FOOTER */
footer {
  clear: both;
  width: 100%;
  font-size: 16px;
}

/*
  hiring announce banner
*/
body .banner-announce {
  display: block;
  margin-left: 20%;
  margin-right: 20%;
  background-color: lightcyan;
  border: 2px solid black;
  padding: 10px 20px;
  text-align: center;
  text-decoration: none;
  border-radius: 5px;
}

/*
  Float images and headers
*/

img.left-float {
  float: left;
  margin: 0em 1.5em 0.2em 0;
}

img.right-float {
  float: right;
  margin: 0em 0em 0.2em 1.5em;
}

.about-header {
  color: darkslategray;
  margin: 10px 3px;
}

.external-link-header {
  margin: 30px 3px;
}

/*
  Publication table
*/

.pub-table tr {
  color: darkslategray;
}

.pub-table tr td+td+td {
  white-space: nowrap;
}

.pub-table tr strong {
  font-weight: normal;
}