.code-leadin {
  font-size: 15px;
  margin-bottom: -15px;
  background-color: #e7e7e7;
  padding: 3px 15px;
  font-family: courier;
}