@mixin terminal-font {
  font-family: 'Bitstream Vera Sans Mono', 'Courier New', monospace;
  font-size: 12px;
  line-height: inherit;
}