.screen {
    white-space: nowrap;
  }

.screen, pre {
    border: 1px solid Gray;
    background-color: #E0E0E0;
    padding: 1ex;
    margin-bottom: 1ex;
}

code {
    white-space: nowrap;
}

.caption {
    font-size: 80%;
    font-weight: bold;
    margin-top: 1ex;
    text-align: center;
}

.insert {
    display: table;
}

li {
    margin-bottom: 1ex;
}

h3 {
  font-style: italic;
}

ol {
	margin-top: 1ex;
}

h2 {
	margin-top: 4ex;
}