#man {
  margin: auto;
  width: 100ex;
}

.mp {
  -webkit-text-size-adjust:none;
  -moz-text-size-adjust:none;
  -ms-text-size-adjust:none;
  -webkit-text-size-adjust:100%;
  -moz-text-size-adjust:100%;
  -ms-text-size-adjust:100%;
}

.mp pre {
  border: 1px solid dimgray;
  padding: 1em;
  overflow: auto;
}

.highlight {
  margin-left: 8ex;
}
