.snip {
  width: 92%;
  margin-left: auto;
  border: 2px silver inset;
  background: white;
  color: black;
  font-family: monospace;
}
      
.hl {
  background: cyan;
}

.omit {
  color: grey;
}

.right-float {
  margin: 4px;
  float: right;
}