.highlight {
  padding: 0.2em 0.3em;
}

.highlight-1 {
  background-color: #b2e4d5;
}

.highlight-2 {
  background-color: #bbeaa6;
}

.highlight-3 {
  background-color: #f9ffa5;
}

.highlight-4 {
  background-color: #efe9cc;
}

.fake-buttons {
  height: 10px;
  width: 10px;
  border-radius: 50%;
  border: 1px solid #000;
  position: relative;
  top: 0;
  left: 6px;
  background-color: #ff3b47;
  border-color: #9d252b;
  display: inline-block;
}

.fake-minimize {
  left: 11px;
  background-color: #ffc100;
  border-color: #9d802c;
}

.fake-zoom {
  left: 16px;
  background-color: #00d742;
  border-color: #049931;
}

.fake-title {
  position: relative;
  display: inline-block;
  top: 0;
  left: 20px;
}

.fake-menu {
  box-sizing: border-box;
  height: 25px;
  background-color: #bbb;
  margin: 0 auto;
  border-top-right-radius: 5px;
  border-top-left-radius: 5px;
}

.fake-terminal {
  font-size: 1.1em;
  background-color: #151515;
  white-space: pre;
  overflow-x: auto;
  min-height: 13.5em;
  color: #fff;
  font-family: monospace;
  box-sizing: border-box;
  margin: 0 auto;
  padding: 20px;
  border-bottom-left-radius: 5px;
  border-bottom-right-radius: 5px;
}

.fake-terminal a {
 color: #ccc;
}