body {
    font-family: "Book Antiqua", "Palatino Linotype", Palatino, serif;
    font-size: 112.5%;
    margin-left: 10%; margin-right: 10%;
}
img {
  max-width: 100%;
  height: auto;
}
li {
    padding-bottom: 1ex;
}
pre {
    white-space: pre-line
}
h1 {
    text-align: center
}
.h3-centered {
    text-align: center
}
.center-image-horizontally {
    display: block;
    margin: 0 auto;
/*    margin-left: auto;
    margin-right: auto;
    width: 80%; */
}
.image-at-right-unscaled {
    display: block;
    float: right;
    max-width: 100%;
    max-height: 100%;
}
.bluebold {color: #0000ff;font-weight: bold;}
.redbold {color: #ff0000;font-weight: bold;}
.linkck {color: #008800;}
#right-overlay-vertical-text {
    position: fixed;
    top: 0;
    right: 0;
    width: 10%;
    height: 100%;
    color: red; /* no need for transparent text in this one */
    writing-mode: vertical-lr;
    text-orientation: upright;
    font-size: 11vh;
    /* line-height: 20%;
    letter-spacing: 3px; */
    background-color:transparent;
    align-items:center;
    justify-content:center;
    /* text-shadow: 8px 8px 10px #AA5555; */
	
    /* -webkit-text-fill-color: transparent;
    -webkit-text-stroke: 3px #ff6060; */
    /* prevent selection of "retired" word */
      user-select: none;
      -webkit-user-select: none;
      -khtml-user-select: none;
      -moz-user-select: none;
      -ms-user-select: none;
}