h4 {
  font-size: 1.2em;
  font-weight: normal;
  font-style: italic;
  margin-bottom: -0.8ex;
  text-align: left;
}
h4.continue {
  font-size: 1.0em;
  font-style: normal;
  font-weight: normal;
  text-align: center;
}
h4.right {
  margin-right: 10%;
  text-align: right;
}
/* Useful for names at end of article or letter, often aligned right */
span.right {
/*  text-align: right; */  /* does not work */
  position: absolute;
  right: 10%;
}
ul {
  list-style-type: none;
}
ul#lines {
  list-style-type: none;
}
/* Links to Arnstein images: all in a row, since their position in the original is arbitrary */
img.arnstein_link {
  vertical-align: top;
  margin-top: 1ex;
  margin-right: 2%;
  border: 2px solid blue;
}
p.clear {
  clear: both;
}
p.links {
  text-align : center;
}
/* end */