body {
  font-family: 'Times New Roman', serif;
  font-size: 1.4em;
  margin: auto;
  max-width: 35em;
  padding: 0 10px;
}

h2 {
  margin-top: 1.5em;
}

address, .noitalics {
  font-style: normal;
}

blockquote {
  background-color: #fcfcfc;
  border-left: 1px dotted;
  font-family: 'Garamond', serif;
  padding: 0 20px;
}

li>blockquote {
  margin-left: 0;
}

ol.biblio, ul.biblio, ol.nobullets, ul.nobullets {
  list-style-type: none;
  padding-left: 0;
}

/* The long cumbersome name reflects how rarely this is actually desirable. */
ol.nobullets-but-indented, ul.nobullets-but-indented {
  list-style-type: none;
}

li {
  margin-bottom: 10px;
}

ol.biblio>li {
  margin-bottom: 7px;
}

ul.biblio>li {
  margin-bottom: 4px;
}

.condensed p, .grouped p {
  margin-bottom: 10px;
  margin-top: 10px;
}

ol.grouped>li, ul.grouped>li {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}

a.sp-link {
  text-decoration: none;
}

a.sp-link:hover {
  text-decoration: underline;
}

.sp-item {
  background-color: rgb(215, 243, 252);
}

b.lede {
  /* Use semi-bold, if available. */
  font-weight: 600;
}