html {
    background-color: #f0f0f0;
    color: black;
}
body { 
    margin-left: 2em;
    margin-right: 2em;
    max-width: 80%;
}
h3 {
    margin-top: 2ex;
    margin-bottom: 0ex;
}
p { 
    margin-top: 0.5em;
    text-indent: 1em;
}
img {
    margin: 1em;
}
pre {
    background-color: white;
    width: 100%;
    font-size: 120%;
    margin-left: 2ex;
    padding: 1ex;
    overflow-x: auto;
}
.cidfontname {
    font-style: normal;
}
.commandline {
    color: darkred;
    font-weight: bold;
    text-decoration: underline;
}
kbd.key {
  border-style: solid;
  border-width: 1px 2px 2px 1px;
  border-color: gray;
  background-color: white;
  color: black;
  font-family: Courier, "Courier New", monospace;
  padding: 0.1ex 0.2ex;
  margin: 4px;
}
.lastmod {
    font-family: times, san-serif;
    font-style: italic;
    text-align: right;
}
.separate {
    display: flex;
}
.sepatae div {
    flex-direction: column;
}
.sampleview {
    float: inline-end;
    z-index: 100;
    border: 2px solid gray;
    height: 15em;
}
h1, h2, h3 {
    font-family: helvetica, sans;
    margin-bottom: 1ex;
    margin-top: 3ex;
}