html {
 font-family : "Palatino Linotype", "Palatino";
 text-justify: inter-word; 
 scroll-behavior: smooth; 
 scroll-padding-top: 62pt;
}

body {
    margin-left: 5%;
    /* some percentage of available width */
    width: 70%;
}

/* If width is larger than 800px */
@media screen and (min-width:1000px){
  body {
    width: 700px;
  }
}


h1,h2,h3,h4 {
 font-style: italic; 
}

h1 {
 font-size: 18pt;
}

h2 {
  font-size: 16pt;
}

pre {
 background-color: LightGray;
 font-family: "Courier New";
 font-size: 12pt; 
}

p {
  text-align: justify;
}


.headshot img {
  width: 150px;
  height: 150px;
  object-fit: cover;
}

.headshot table {
  margin-right: -210px;
  float: right;
}

img.publication-icon {
  width: 100px;
  height: 100px;
  object-fit: cover;
}

figcaption {
  font-style: italic;
}

figure {
  box-shadow: 10px 10px 5px #888888;
  border: 1px solid Black;
}

nav {
  display: flex;
  justify-content: center;
  position: sticky;
  top: 0px;
  background-color: white;
}

div.publication {
  display: flex;
  align-items: flex-start;
  justify-content: flex-start;
  margin-bottom: 2px;
}

.publication a {
  color: #000080;
  text-decoration: none;
}

.publication p {
  margin-top: 0;
  padding-left: 5pt;
  margin-bottom: 0;
}

/* Style the links inside the navigation bar */
nav a {
 color: black;
 text-align: left;
 padding-top: 16pt;
 padding-bottom: 16pt;
 padding-right: 16pt;
 padding-left: 16pt;
 text-decoration: none;
 font-size: 18pt;
}

/* Change the color of links on hover */
nav a:hover {
 color: red;
}