/* Nav bar layout lives in nav.css; this file supplies its colors. */
:root {
  --bar-color: #1DB954;
  --bar-hover: green;
}

html{
  background-color: #fcfcfc;
  overflow-x: hidden;
}

@font-face {
  font-family: WikiBody;
  src: url('fonts/georgia/Georgia Regular font.ttf') format('truetype');
}

.textbody{
  font-family: WikiBody;
  line-height: 1.2;
  font-size: 14pt;
  margin-top: 20px;
  margin-left: 25px;
  margin-right: 50px;
  width: auto;
  word-wrap: break-word;
}

.bighead{
  font-family: WikiBody;
  margin-left: 25px;
  margin-bottom: -10px;
  border-bottom-width: 1px;
  border-bottom-style: solid;
  border-bottom-color: #1DB954;
}

/* Citation list */
.pubs{
  font-family: WikiBody;
  font-size: 14pt;
  line-height: 1.4;
  list-style-type: none;
  margin: 20px 50px 20px 25px;
  padding: 0;
}

.pubs li{
  position: relative;
  margin-bottom: 22px;
  border-left: 3px solid #1DB954;
  padding-left: 14px;
}

.pubs .venue{
  font-style: italic;
}

.pubs .me{
  font-weight: bold;
}

.pubs .pubnote{
  display: block;
  margin-top: 4px;
  font-size: 12pt;
  color: #555;
}

a{
  color: #157a38;
}

a:hover{
  color: #1DB954;
}